diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 13:28:00 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 15:41:39 +0200 |
| commit | dbb8a5704033fb6990af449e29c6018286d4b044 (patch) | |
| tree | 632587404f51d58e6600c8920c17ae4f260f58ca /debian/patches | |
| parent | 38db629f4be6f0a963b95a958a99bbe382b6b5d1 (diff) | |
Disable compiling/installing doc
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions