diff options
| author | Ryan Kavanagh <rak@debian.org> | 2015-02-20 12:34:17 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2015-02-20 12:34:17 -0500 |
| commit | d5227dbdf4d8222d5c3ac1ade9c846290d9c74ef (patch) | |
| tree | 67c4d775ecb67f13c274d085d90fdb607ea5c637 /emacsen/proofgeneral | |
| parent | Update icd (diff) | |
Update connect_usb script
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions