diff options
Diffstat (limited to '')
-rwxr-xr-x | cpukit/doxy-filter | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cpukit/doxy-filter b/cpukit/doxy-filter index 1d47b0806d..bc67407d09 100755 --- a/cpukit/doxy-filter +++ b/cpukit/doxy-filter @@ -1,7 +1,6 @@ #!/bin/sh - +# # doxygen input filter -# $Id$ # usage: doxy-filter <input-file-name> # Reads <input-file> and writes to stdout. |