diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:56:15 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:56:15 +0100 |
commit | 1542c122b3672fe83e027411ad2445772e2d0ed3 (patch) | |
tree | e535bc621bd7ffa9d5ce89e0d495df5d1c4ab6fd /app/tools/oldscripts/checkall | |
parent | 773810e6583142d7d15263e6481c42aebed6d7f1 (diff) | |
parent | d1a8285f818eb7e5c3d6a05709ea21a808490b8c (diff) |
Update upstream source from tag 'upstream/5.1.0'
Update to upstream version '5.1.0'
with Debian dir 93ca74b8b4602fce4c9c7740e0cfdde25f086673
Diffstat (limited to 'app/tools/oldscripts/checkall')
-rw-r--r-- | app/tools/oldscripts/checkall | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/app/tools/oldscripts/checkall b/app/tools/oldscripts/checkall deleted file mode 100644 index 51e6861..0000000 --- a/app/tools/oldscripts/checkall +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -cd ~/xtrkcad/src -for d in bin help lib lib/params lib/demos lib/examples tools ; do - rlog -R -L $d/RCS/*,v -done -cd ~/wlib/src -for d in include mswlib test gtklib ; do - rlog -R -L $d/RCS/*,v -done - |