w0rp ca17b5aebd Add an option for completely disabling command history, and add documentation

2017-02-16 21:33:44 +00:00

..

ale.txt

Add an option for completely disabling command history, and add documentation

2017-02-16 21:33:44 +00:00