Revision 04daec5d
ID | 04daec5d015e238a6f0d4c6ff5a3393d116a08cc |
- Rename docs/ to doc/
- Add Makefile in doc/examples/
Reviewed-by: schreiberal
Files
- added
- modified
- copied
- renamed
- deleted
ID | 04daec5d015e238a6f0d4c6ff5a3393d116a08cc |
Added by Michael Hanselmann over 16 years ago
- Rename docs/ to doc/
- Add Makefile in doc/examples/
Reviewed-by: schreiberal