Edmond Lee 2b0f3ce969 update webide example names for consistency		2020-06-03 08:46:09 -07:00
..
compact-ligo-ide	Added compact IDE component	2020-04-25 10:51:01 +00:00
webide	update webide example names for consistency	2020-06-03 08:46:09 -07:00