comparison Makefile @ 45122:a391d0710f22

rewriteutil: add utility to check whether empty successors should be skipped
author Manuel Jacob <me@manueljacob.de>
date Sun, 12 Jul 2020 06:06:06 +0200
parents 64e104ca555e
children 1c8e3c17c702
comparison
equal deleted inserted replaced
45121:b6269741ed42 45122:a391d0710f22