Alban Crommer ea411c6cde [enh] there should be an html styling for commands		2020-05-22 20:01:00 +00:00
..
app.js	[enh] there should be an html styling for commands	2020-05-22 20:01:00 +00:00
jquery.min.js	[enh] Make frontend nicer + don't use external sources	2020-05-21 10:31:31 +00:00