This repository has been archived on 2025-05-09. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Jakob 75c905a985 Feature/fix terminal notification (#681) ... * show terminal notification on top * show notification only when not scrolled down and new output available * terminal: move scrolled down check outside of push loop		2017-10-18 00:24:14 -04:00
..
admin	More code updates	2017-10-07 17:21:41 -05:00
frontend	Feature/fix terminal notification (#681)	2017-10-18 00:24:14 -04:00
plugins/minecraft	Catch potential undefined result.	2017-03-31 23:37:46 -04:00