chiark / gitweb /
dot/shell-rc: Run `cross-run' nicely by default.
[profile] / dot / ipython-key-bindings.py
2020-05-04 Mark Woodingdot/ipython-key-bindings.py: Don't leak names into...
2020-05-03 Mark Woodingdot/ipython-key-bindings.py: Fix some bogus formatting.
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...