chiark / gitweb /
Cleanup now obsolete pwx tools.
authorSven Eden <yamakuzure@gmx.net>
Tue, 29 May 2018 06:07:21 +0000 (08:07 +0200)
committerSven Eden <yamakuzure@gmx.net>
Tue, 29 May 2018 06:07:21 +0000 (08:07 +0200)
commit58f295bc1a9c802160929cdd5e6ee7556ed5232e
tree1c16acce10613e43f106a584b3d56b1df53288ef
parent3e53473a26ff176e0b52039330903299bed6380d
Cleanup now obsolete pwx tools.
pwx/pwx_exchange_list.txt [deleted file]
pwx/pwx_git_applier.sh [deleted file]
pwx/pwx_git_funcs.sh [deleted file]
pwx/pwx_git_getter.sh [deleted file]
pwx/pwx_git_patch_formatter.sh [deleted file]
pwx/pwx_last_mutual_commits.txt [deleted file]