diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2002-05-27 07:21:26 +0000 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2002-05-27 07:21:26 +0000 |
commit | b318f78b0e969e0e21d2f4a6d828000685d5029f (patch) | |
tree | 533806a706de4ea812f08ca2037a802ace627c79 /bin/generate_doxygen.pl | |
parent | 9036acd5a9a7d6ef35739b841c2f445faf7a4879 (diff) | |
download | ATCD-b318f78b0e969e0e21d2f4a6d828000685d5029f.tar.gz |
ChangeLogTag: Mon May 27 09:17:12 2002 Johnny Willemsen <jwillemsen@remedy.nl>
Diffstat (limited to 'bin/generate_doxygen.pl')
-rwxr-xr-x | bin/generate_doxygen.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/generate_doxygen.pl b/bin/generate_doxygen.pl index a4e2b6cca9d..14e87dacb61 100755 --- a/bin/generate_doxygen.pl +++ b/bin/generate_doxygen.pl @@ -42,6 +42,7 @@ $dot_path = '/usr/local/bin'; ,'tao_security' ,'tao_ssliop' ,'tao_cosnaming' + ,'tao_costime' ); # Modify defaults using the command line arguments |