Skip to content

Commit e92d7c2

Browse files
authored
Doc: Delete MANUAL.pdf (#143)
This is the 2009 manual. It is no longer necessary, especially because the manual is now automatically generated.
1 parent 08571c1 commit e92d7c2

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

MANUAL.pdf

-4.99 MB
Binary file not shown.

0 commit comments

Comments
 (0)