Brian Coca 4abadead76 make vi the default editor if no EDITOR ... fixes #15577		2016-05-02 08:45:01 -04:00
..
man1	make vi the default editor if no EDITOR	2016-05-02 08:45:01 -04:00
man3	Keep the man3 directory. 'make docs' breaks without it.	2012-10-08 12:28:20 -04:00
.gitignore