Revision 44a8dba7
ID | 44a8dba7534796d44d92f3b66f169a7514fef42a |
Parent | fa64dbd6 |
Child | 691a0632, afafd6dd |
kernselsetup.sh enhanced: the script now checks whether doxygen is available for building the documentation
Files
- added
- modified
- copied
- renamed
- deleted