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
2014-03-22 21:02:50 +01:00
2014-10-02 01:41:41 +02: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
2015-06-19 18:48:41 +02: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-04-13 14:22:40 +02:00
2015-12-03 20:18:24 +01:00
2015-11-02 13:29:53 +01:00
2015-08-11 20:34:49 +02:00
2014-06-12 21:46:14 +02:00
2016-02-21 23:02:49 +01:00
2014-08-29 15:12:19 +02:00
2015-08-11 20:34:49 +02:00
2015-11-02 13:29:53 +01:00
2013-11-03 21:14:31 +01:00
2015-04-13 12:43:06 +02:00
