diff options
Diffstat (limited to 'src/haddock')
| -rw-r--r-- | src/haddock/haddock-script.csh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh index ba7aab127..54e20e9e3 100644 --- a/src/haddock/haddock-script.csh +++ b/src/haddock/haddock-script.csh @@ -2,8 +2,8 @@ ###################################################################### # Author: Peter Ljunglöf -# Time-stamp: "2005-02-04, 10:52" -# CVS $Date: 2005/02/04 09:57:10 $ +# Time-stamp: "2005-02-04, 11:02" +# CVS $Date: 2005/02/04 10:10:28 $ # CVS $Author: peb $ # # a script for producing documentation through Haddock |