chiark / gitweb /
pwx_local: Remove obsolete backup
authorSven Eden <yamakuzure@gmx.net>
Mon, 18 Jun 2018 15:39:12 +0000 (17:39 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 29 Jun 2018 05:12:51 +0000 (07:12 +0200)
commitc647cf78c414606c821acd74f2db73f1b11e2ec4
tree78635a92c390242f7a8d81cfe563678918cd1ac5
parentd2c90687368fb1b6b46e1d776845d6ad3c59c4a2
pwx_local: Remove obsolete backup
pwx_local/check_tree.pl [deleted file]
pwx_local/cleanup_headers.sh [deleted file]
pwx_local/last_mutual_commits.csv [deleted file]
pwx_local/migrate_tree.pl [deleted file]
pwx_local/patches/.keep_dir [deleted file]
pwx_local/rebuild_all.sh [deleted file]
pwx_local/update_po_files.pl [deleted file]