Bram Moolenaar
4694a17d1e
patch 7.4.1765
Problem: Undo options are not together in the options window.
Solution: Put them together. (Gary Johnson)
2016-04-21 14:05:23 +02:00
..
2016-04-21 08:53:19 +02:00
2016-04-10 01:31:25 +02:00
2016-04-21 08:53:19 +02:00
2016-03-12 12:57:59 +01:00
2016-04-21 08:53:19 +02:00
2016-03-28 22:05:47 +02:00
2016-03-29 23:12:46 +02:00
2016-04-21 08:53:19 +02:00
2016-04-21 08:53:19 +02:00
2016-03-24 18:24:58 +01:00
2016-04-12 21:07:15 +02:00
2016-04-05 22:07:04 +02:00
2016-04-21 14:05:23 +02:00
2016-04-12 21:07:15 +02:00
2016-04-05 22:07:04 +02:00
