Changes between Version 41 and Version 42 of DoxygenPlugin


Ignore:
Timestamp:
Jan 10, 2007 12:29:46 PM (7 years ago)
Author:
anonymous
Comment:

corrected a type error

Legend:

Unmodified
Added
Removed
Modified
  • DoxygenPlugin

    v41 v42  
    9595OUTPUT_DIRECTORY = stable 
    9696HTML_OUTPUT = html 
    97 $ grep OUTPUT Doxygen.devel 
     97$ grep OUTPUT Doxyfile.devel 
    9898OUTPUT_DIRECTORY = devel 
    9999HTML_OUTPUT = html