Minor fix.
authorFrancois Fleuret <francois@fleuret.org>
Thu, 13 Jul 2017 19:02:24 +0000 (21:02 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Thu, 13 Jul 2017 19:02:24 +0000 (21:02 +0200)
commitad0a5cecf38c0bf27719e4f1bcbced3862d464fd
treedab2f1ce2b97413f899a26c9106b83f79feadc25
parent8892ec06cf1b83c03b5d1edf5e9cf8386fa51855
Minor fix.
xremote.sh