Skip to content

Commit 7b389ec

Browse files
committed
Removing old manual files
1 parent 6c6482f commit 7b389ec

21 files changed

+0
-2812
lines changed

doc/manual/.gitignore

Lines changed: 0 additions & 4 deletions
This file was deleted.

doc/manual/generated.xml.in

Lines changed: 0 additions & 6 deletions
This file was deleted.

doc/manual/manual.dep

Lines changed: 0 additions & 20 deletions
This file was deleted.

doc/manual/sources/appendices/appendices.xml

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)