sqrrm f0acec0cb1 Add option to use different color header in dev mode ... This is to help differentiate dev instances and live ones. This can help devs avoiding silly mistakes.		2020-09-01 23:03:22 +02:00
..
src	Add option to use different color header in dev mode	2020-09-01 23:03:22 +02:00