diff options
author | Jonas Smedegaard <dr@jones.dk> | 2016-10-21 19:43:58 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2016-10-21 22:35:12 +0200 |
commit | 03300237940e13c709fde5430e684f8e67df1782 (patch) | |
tree | 36ca94136c0c73118b3bfe2f948fbf8f19094c20 /machine-update | |
parent | ce96897416c610803e8d68b79315125d3efe20fa (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