Drop the autogenerated commit if its diff is empty
commit5ab89deea50e852c2603d6a3e0b34b1b0ae2a8c9
authorThomas Rast <trast@student.ethz.ch>
Wed, 11 Feb 2009 22:59:43 +0000 (11 23:59 +0100)
committerThomas Rast <trast@student.ethz.ch>
Wed, 11 Feb 2009 22:59:43 +0000 (11 23:59 +0100)
tree28889fdff8cfcced9e6816f8021b0e3beda534f2
parent448b584b885f6fd4094b9cc89151d17dfcc2d311
Drop the autogenerated commit if its diff is empty
run-all.sh