Branch: refs/heads/multifile
Home: https://github.com/csmith-project/creduce
Commit: f3ca1dc1dd0c4c5c0cd5b4237275ce6980b40940
https://github.com/csmith-project/creduce/commit/f3ca1dc1dd0c4c5c0cd5b4237275ce6980b40940
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-19 (Mon, 19 Oct 2015)
Changed paths:
M scripts/localize_headers
Log Message:
-----------
foo