Wouter Franken

Fix dispatcher when no plugins are given

1

When any plugin is using the dispatcher for nested actions it should pass all plugins again to avoid that any plugin as subtask would be handled. Currently this means a...

I wanted to remove my hook from Github with Sharelatex, but after I removed the hook from github I got an Internal Server Error when trying to turn it off...

Porting to Android

3

There may be a possibility we can get the shell working on android too :). TODO: - [ ] Compile readline for android