| 2018-10-29 | config.txt: move alias.* to a separate file | tree | diff | |
| 2018-10-29 | config.txt: move add.* to a separate file | tree | diff | |
| 2018-10-29 | config.txt: move core.* to a separate file | tree | diff | |
| 2018-10-29 | config.txt: move advice.* to a separate file | tree | diff | |
| 2018-10-29 | Update makefile in preparation for Documentation/config... | tree | diff | |