home · contact · privacy
erlehmann's patch of his own redo system, yet another bug fix.
authorChristian Heller <c.heller@plomlompom.de>
Wed, 15 Oct 2014 01:25:35 +0000 (03:25 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Wed, 15 Oct 2014 01:25:35 +0000 (03:25 +0200)
commite8dc105b0d1d5ec50e2f8ce74805801aff23f3ec
tree687c645fb0bf4b2a8c491283d2df584c59db3d86
parent08787351493beb2ad649e94d24eebca0e97192c8
erlehmann's patch of his own redo system, yet another bug fix.
build/redo_scripts/redo-ifchange