# HG changeset patch
# User Raphael Pinson <[EMAIL PROTECTED]>
# Date 1218644422 -7200
# Node ID 0fecb892aefdeef53e5c73d7cfe2c862e1e79488
# Parent 77868db94cb316e09e7872cc3ab087a22ec9684c
Allow flags
diff -r 77868db94cb3 -r 0fecb892aefd lenses/inifile.aug
--- a/lenses/inifile.aug Wed Aug 13 14:16:45 2008 +0200
+++ b/lenses/inifile.aug Wed Aug 13 18:20:22 2008 +0200
@@ -41,7 +41,7 @@ let empty = Util.empty
(* Some implementations of INI file allow ":" as separator *)
let entry_generic (kw:regexp) (sep:lens) (comment:lens)
- = [ key kw . sep . value_to_comment? . (comment|eol) ]
+ = [ key kw . (sep . value_to_comment?)? . (comment|eol) ]
let entry (kw:regexp)
= entry_generic kw value_sepwithcolon comment
let entry_setcomment (kw:regexp) (comment:lens)
_______________________________________________
augeas-devel mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/augeas-devel
