Closed AngelSassin closed 7 years ago
Can you undo this?
We can merge things that delete CNAME and revert the config files.
devtools is now broken.
On Aug 23, 2016, at 11:42 AM, Nicholas Angell notifications@github.com wrote:
Merged #113 https://github.com/Picolab/devtools/pull/113.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/Picolab/devtools/pull/113#event-764852483, or mute the thread https://github.com/notifications/unsubscribe-auth/AAQyh182T4wdr7g-aSMhaLI2HipOUVCZks5qizENgaJpZM4JrMbL.
Adding, Updating, and Removing prototypes