Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
@ -4,6 +4,7 @@
- introduce tests:
- does $require work?
- $whatever should fail if there is no global explorer directory
- emulator may only be called with __ as prefix - fail otherwise!
- Create GlobalExplorer