chiark / gitweb /
Merge branch 'master' into fairchild
[profile] / dot / ipython-key-bindings.py
2018-05-30 Mark WoodingMerge branch 'master' into fairchild fairchild
2018-05-30 Mark Woodingdot/ipython-key-bindings.py: Fix because IPython is...
2017-07-15 Mark Woodingdot/ipython-key-bindings.py: Hack IPython's bogus keybi...