| commit | b16dd29147fa8155cb9d9dadfb7c587aef81d772 | [log] [tgz] |
|---|---|---|
| author | vlakoff <vlakoff@gmail.com> | Sun Sep 16 19:11:39 2012 +0200 |
| committer | vlakoff <vlakoff@gmail.com> | Sun Sep 16 19:11:39 2012 +0200 |
| tree | fd1d2a13809897b7cd9b8ac3226cbe870a6d6a23 | |
| parent | 4a853e206fe36126594d4ea3fd415db00264187d [diff] |
Minor change in Output cache file check Won't change anything in practice, but robuster (and faster) if ever a cache file would be invalid