~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/jupyter-notebook.json: Set `tabSize' because the editor is broken.
[profile] / bin / hacks /
2017-08-13 Mark WoodingUse a proper makefile rather than the `setup' script. tree | commitdiff
Dotfiles and other configuration.