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 /js | |
parent | aa16baa12c68eed859ad623b4f9faf48cdac6efe (diff) |
Makefile: update upload
Explicitly add ssh options to make the ssh to gnu.org.in work
Diffstat (limited to 'js')
0 files changed, 0 insertions, 0 deletions