diff options
| author | paul <paul> | 2004-10-29 05:35:43 +0000 |
|---|---|---|
| committer | paul <paul> | 2004-10-29 05:35:43 +0000 |
| commit | 28f79728b6ec46f545fc9978a9238e6d58c7a5d2 (patch) | |
| tree | 7bacb31519957d0ca752d58088fe90f3d47a330e /doc/install.texi | |
| parent | f2799e69514f4e63598e77b823fb9a67f5dc3c61 (diff) | |
- lib/ dir shouldnt be conditional, remove bad dir attribute from dev files
Diffstat (limited to 'doc/install.texi')
0 files changed, 0 insertions, 0 deletions