cider-ci/cider-ci_user-interface — pull request #1 by eins78 (2014-08-12 12:23:32+00:00)
Title: add a 'reload control' checkbox to the navbar

- added via js because otherwise doesn't make sense
- has nothing to do with react, but was easier to develop with it. also franco told me his browser is running amok when keeping a leihs execution tab open