Bram Moolenaar
d6c2f05260
patch 7.4.1560
Problem: Dict options with a dash are more difficult to use.
Solution: Use an underscore, so that dict.err_io can be used.
2016-03-14 23:22:59 +01:00
..
2016-02-20 15:47:01 +01:00
2016-03-14 23:22:59 +01:00
2016-03-12 12:57:59 +01:00
2016-03-12 12:57:59 +01:00
2016-02-01 22:37:05 +01:00
2015-11-19 20:38:09 +01:00
2016-02-20 15:47:01 +01:00
2016-01-09 13:23:54 +01:00
2016-03-12 12:57:59 +01:00
2016-02-20 15:47:01 +01:00
2015-12-03 20:18:24 +01:00
2015-11-02 13:29:53 +01:00
2016-02-21 23:02:49 +01:00
2015-11-02 13:29:53 +01:00
