CSS tweak to improve appearance of small buttons
added checkbox to each avatar on dashboard ; to help sensei know which avatar's code has/hasn't been reviewed
remvoed dead CSS
removed dead CSS
CSS tweak to improve appearance of small buttons
deleted dead javascript
removed checkbox for each animal from dashboard traffic-light because it gets reset by dashboard heartbeat
changed the implementation of file rename - old way was causing occasional hard-to-reproduce fault which left the old file still in place
refactoring - deleted uneeded javascript
Merge branch 'master' of github.com:JonJagger/cyberdojo
reformatted rogue tabs
I18N issue means new servers wont start
progress text is displayed in animals current colour
ignore tmp folder
notes/thoughts on micro tag navigation design
refactored setup page (on Docker) to try and speed up initial display
fixed typo
added tests for admin_scripts
comment updates
donation from Michael Hilton. Thank you