diff options
author | Matthias Benkard <code@mail.matthias.benkard.de> | 2010-01-05 15:32:43 +0100 |
---|---|---|
committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2010-01-05 15:32:43 +0100 |
commit | 02949f5cb23edd9a61483a00b9faa64384a55854 (patch) | |
tree | 47e3fa69ec466fdf7a2b24c9875f64fe0464e5b7 /make-core-image.sh | |
parent | 10c4fc483d1c7ebc5c0f78b1c7fdca20ab9fd357 (diff) |
Do not change the headings' colours when visited by the user.
Ignore-this: 8c24ecd99c35a9a5137ab1476aa22ddf
darcs-hash:849cc6c9eeb4f89ae8633c9531b5d1c1efd317b3
Diffstat (limited to 'make-core-image.sh')
0 files changed, 0 insertions, 0 deletions