diff options
Diffstat (limited to 'lex/outputbis.mli')
| -rw-r--r-- | lex/outputbis.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lex/outputbis.mli b/lex/outputbis.mli index c427876709..6c04512254 100644 --- a/lex/outputbis.mli +++ b/lex/outputbis.mli @@ -10,7 +10,6 @@ (* *) (***********************************************************************) -(* $Id: outputbis.mli 12858 2012-08-10 14:45:51Z maranget $ *) val output_lexdef : string -> in_channel -> |