diff options
| author | siddharth <s@ricketyspace.net> | 2021-09-11 18:57:15 -0400 |
|---|---|---|
| committer | siddharth <s@ricketyspace.net> | 2021-09-11 18:57:15 -0400 |
| commit | 70408e84902c26b440b7750f85de26c7f56ef4ef (patch) | |
| tree | 76438ed3e99bc640bd9d4b39f7106194d56abb14 /94aa28ae4da0f32321e617f25ab1062ab9030bdb.html | |
| parent | aa16baa12c68eed859ad623b4f9faf48cdac6efe (diff) | |
Makefile: update upload
Explicitly add ssh options to make the ssh to gnu.org.in work
Diffstat (limited to '94aa28ae4da0f32321e617f25ab1062ab9030bdb.html')
0 files changed, 0 insertions, 0 deletions