tree e54396064485893db7b71edd7f7b7fa8ffb08556
parent 2ec723cd5bb75924cb73668fe38b7a5e67fca768
author Lorenzo Villani <lorenzo@villani.me> 1424446367 +0100
committer Simon Eskildsen <sirup@sirupsen.com> 1426773806 -0400

Change DebugLevel color to gray