diff options
| author | Jakob Odersky <jakob@odersky.com> | 2017-07-31 21:25:33 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2017-07-31 21:25:33 -0700 |
| commit | c4783b8eec1212aef8d0477cb41d0310a4aefa23 (patch) | |
| tree | cc4c9cf141ed7c665b8075258cdc544742b74ddf /home/.gitconfig_driver | |
| parent | 3236ac89d1faba6ddf161c9f1dab13d48eac5b2f (diff) | |
| download | dotfiles-c4783b8eec1212aef8d0477cb41d0310a4aefa23.tar.gz dotfiles-c4783b8eec1212aef8d0477cb41d0310a4aefa23.tar.bz2 dotfiles-c4783b8eec1212aef8d0477cb41d0310a4aefa23.zip | |
Revert "Remove ivy and use ido"
This reverts commit a17323a3d1a83c59260c0b74306c524486bf7b3c.
Diffstat (limited to 'home/.gitconfig_driver')
0 files changed, 0 insertions, 0 deletions