David Adam 9aaf93f364 web_config: improve abbreviations support ... * Fetch abbreviations by reading the variable directly. * Use space separators for writing new abbreviations. Work on #731.		2014-11-16 23:20:27 +08:00
..
web_config	web_config: improve abbreviations support	2014-11-16 23:20:27 +08:00
create_manpage_completions.py	Manpage completions: store in $XDG_DATA_HOME	2014-09-29 19:39:36 +08:00
deroff.py	Remove trailing whitespaces and change tabs to spaces	2012-11-18 11:23:22 +01:00