diff options
author | Michael Vogt <mvo@debian.org> | 2013-12-02 08:36:10 +0100 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-12-05 15:30:56 +0100 |
commit | 300b15e3456aff88b3016a8bac90a0ba8911db8f (patch) | |
tree | fa1f3f1f2967e1a46d3249cb1a596e1c442cca31 /COMPILING | |
parent | caeb19b796f7045f489dbce0bf681925d49136a9 (diff) |
fix section adding
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions