diff options
Diffstat (limited to 'src/log.mli')
-rw-r--r-- | src/log.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/log.mli b/src/log.mli index de92068..116221f 100644 --- a/src/log.mli +++ b/src/log.mli @@ -52,8 +52,6 @@ val log_parser : (string log) Angstrom.t to apply a specific markup to a freshly parsed log file. *) val apply_markup : ('a -> 'b) -> 'a log -> 'b log -(** {2 Log Building} *) - (*--------------------------------------------------------------------------- Copyright (c) 2017 sternenseemann |