chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9668440 706d30b)
Merge branch 'master' of git+ssh://ponder.ncipher.com/~mwooding/etc/profile
authorMark Wooding <mdw@distorted.org.uk>
Thu, 31 Jan 2008 13:56:48 +0000 (13:56 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 31 Jan 2008 13:56:48 +0000 (13:56 +0000)
* 'master' of git+ssh://ponder.ncipher.com/~mwooding/etc/profile:
  bash_profile: Use `mg' as default editor, if it's available.


Trivial merge
Dotfiles and other configuration.