chiark / gitweb /
pwx: Revision bump for rebuild_all.sh having the renamed debug -> debug-extra option
authorSven Eden <yamakuzure@gmx.net>
Wed, 26 Sep 2018 05:50:10 +0000 (07:50 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 26 Sep 2018 05:51:22 +0000 (07:51 +0200)
commit8cc96e787c3d6f6d12ee5a58e2b7a59ca9a1a21b
tree5b0a09435783c9ed8bad722cee3dae78a378c6a0
parent0b47dabe18061b76b66fd56e443d0f74313fce39
pwx: Revision bump for rebuild_all.sh having the renamed debug -> debug-extra option
pwx