chiark / gitweb /
~ian / ian-dotfiles.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
found
[ian-dotfiles.git] / infra /
2020-05-13 Ian JacksonMerge /home/ian/junk/xkb/ tree | commitdiff
2016-06-13 Ian JacksonPseudo-merge of mariner/msriner tree | commitdiff
2016-06-13 Ian Jacksoninfra/substitute: do individual files tree | commitdiff
2016-06-10 Ian JacksonNew substitute machinery tree | commitdiff
2015-12-16 Ian JacksonGet link target right for subdirs tree | commitdiff
2015-12-16 Ian JacksonMake directories called for by correspondences in setup... tree | commitdiff
2015-12-16 Ian JacksonMake directories called for by correspondences tree | commitdiff
2015-12-16 Ian JacksonMake scripts directory tree | commitdiff
2015-12-16 Ian JacksonMerge old CVS `ian-dotfiles' repo, as a subtree where... tree | commitdiff
2015-12-16 Ian JacksonProcess home/ tree | commitdiff
2015-12-16 Ian JacksonUse $ours rather than $dot in $dots loop tree | commitdiff
2015-12-16 Ian JacksonSlightly improve a couple of messages tree | commitdiff
2015-12-16 Ian JacksonIn messages, use $prhome, not $dot tree | commitdiff
2015-12-16 Ian JacksonTidy up another $basepath/$dot tree | commitdiff
2015-12-16 Ian JacksonPrepare for home/: Break out process_object. (nfc) tree | commitdiff
2015-12-16 Ian JacksonPrepare for home/: move dots=, change uses of $dot... tree | commitdiff
2015-12-16 Ian JacksonShow DOING tree | commitdiff
2015-12-16 Ian JacksonDirectories: do not process dotfiles/dot itself (!) tree | commitdiff
2015-12-16 Ian JacksonCope with directories tree | commitdiff
2015-12-09 Ian Jacksonmakelinks script seems to work tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.