# HG changeset patch # User Raphael Pinson <[EMAIL PROTECTED]> # Date 1218554601 -7200 # Node ID a660016208e0bdc92d274a46d71cab68d887a615 # Parent 90624d191d998788155c72583f49bdf462ca8195 Allow spaces in the end of the line
diff -r 90624d191d99 -r a660016208e0 lenses/hosts.aug --- a/lenses/hosts.aug Tue Aug 12 13:57:43 2008 +0200 +++ b/lenses/hosts.aug Tue Aug 12 17:23:21 2008 +0200 @@ -6,7 +6,7 @@ module Hosts = let sep_tab = Util.del_ws_tab let sep_spc = Util.del_ws_spc - let eol = Util.del_str "\n" + let eol = del /[ \t]*\n/ "\n" let comment = [ del /(#.*|[ \t]*)\n/ "\n" ] let word = /[^# \n\t]+/ _______________________________________________ augeas-devel mailing list [email protected] https://www.redhat.com/mailman/listinfo/augeas-devel
