summaryrefslogtreecommitdiff
path: root/machine-update
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2016-10-21 19:43:58 +0200
committerJonas Smedegaard <dr@jones.dk>2016-10-21 22:35:12 +0200
commit03300237940e13c709fde5430e684f8e67df1782 (patch)
tree36ca94136c0c73118b3bfe2f948fbf8f19094c20 /machine-update
parentce96897416c610803e8d68b79315125d3efe20fa (diff)
Tidy use of variable prg_opts (local and remote flavors were identical).
Diffstat (limited to 'machine-update')
0 files changed, 0 insertions, 0 deletions