chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5f454d3 580ac7c)
Merge remote-tracking branch 'origin'
authorMark Wooding <mdw@distorted.org.uk>
Tue, 3 May 2016 16:27:17 +0000 (17:27 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 3 May 2016 16:27:17 +0000 (17:27 +0100)
* origin:
  dot/ipython_config.py: Let's just have one of these for everywhere.


Trivial merge
Dotfiles and other configuration.