« Previous | Next » 

Revision 44a8dba7

ID44a8dba7534796d44d92f3b66f169a7514fef42a
Parent fa64dbd6
Child 691a0632, afafd6dd

Added by Thomas Schöpping about 5 years ago

kernselsetup.sh enhanced: the script now checks whether doxygen is available for building the documentation

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences