Jakob Borg 579f92cf5f Merge branch 'pr-1115'
* pr-1115:
  Make progress indicators less animated
  put legend above list of needed files
2014-12-18 22:01:27 +01:00
..
2014-12-16 23:20:59 +01:00
2014-12-15 08:54:29 +01:00
2014-12-18 22:01:27 +01:00
2014-11-17 12:54:42 +01:00