diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-03-21 14:37:02 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-03-21 14:37:02 -0400 |
| commit | 8acf5c341d2d477add2e773a66a47437663a9a43 (patch) | |
| tree | 468bc306bafa4df5508a6eb3eff0825eaa6c1c76 /emacsen/proofgeneral | |
| parent | Make zsh play nice with tmux (diff) | |
Update make-ssh-known-hosts to deal with aliases
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions