This repository has been archived on 2019-09-24. You can view files and clone it, but cannot push or open issues or pull requests.

Jonas Franz f2c99b3ae2 Add web log (#27)		2018-09-11 19:51:10 +00:00
..
jquery-3.1.1.min.js	Web interface implementation (#18)	2018-07-26 14:40:29 +00:00
repos-status.js	Add web log (#27)	2018-09-11 19:51:10 +00:00
select-repos.js	Web interface implementation (#18)	2018-07-26 14:40:29 +00:00
semantic.min.js	Web interface implementation (#18)	2018-07-26 14:40:29 +00:00