chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeThu, 13 Sep 2018 16:58:07 +0000 (17:58 +0100)
shortlog
2018-09-13 Ian Jacksonemacs: local variables ask master
2018-09-13 Ian Jacksongitk: copy existing geometry when substituting
2018-09-13 Ian Jacksongitk: set fonts in default view too
2018-09-13 Ian Jacksongit: push default simple
2018-09-13 Ian Jacksongit: othercache
2018-09-13 Ian Jacksongit: cache insteadof disable for all protocols
2018-09-13 Ian Jacksonvtwmrc: more pager on default displays (but also more...
2018-09-13 Ian Jacksonvtwmrc: Introduce ${vtwmpager}
2018-09-13 Ian Jacksonload vm-reply library (seems needed on mariner now)
2018-09-13 Ian Jacksonxset b off
2018-09-13 Ian Jacksongit: drop GIT_COMMITTER_EMAIL from environment
2018-09-13 Ian Jacksongitk: turn off autoselect
2018-09-13 Ian Jacksongitconfig: some dgit things from zealot
2018-09-13 Ian Jacksongitconfig: turn off annoying automerge
2018-09-13 Ian Jacksonsome git gui thing found on zealot
2018-09-13 Ian Jacksonvtwmrc: bigger desktop on zealot
...
heads
8 weeks ago master