diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
commit | 12f0c28c2c2a1785278df0d0731ef57921c0cd1a (patch) | |
tree | e0f40e53ff7ee84973790fb4b388ededa536dbe8 /scripts/startsol | |
parent | b3f027c605992040981c81d34ccc02a9f1976c07 (diff) | |
parent | 1759fac62c33877a7ebc52a423d6f99ddc9d08c4 (diff) |
Merge branch 'release/debian/3.1.7-1' into masterdebian/3.1.7-1
Diffstat (limited to 'scripts/startsol')
-rw-r--r--[-rwxr-xr-x] | scripts/startsol | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/startsol b/scripts/startsol index 8884e4d..8884e4d 100755..100644 --- a/scripts/startsol +++ b/scripts/startsol |