2 Commits

Author	SHA1	Message	Date
Jim Meyering	07613d2020	remove all trailing blank lines ... by running this command: git ls-files -z | xargs -0 perl -pi -0777 -e 's/\n\n+$/\n/' This is in preparation for a more strict make syntax-check rule that will detect trailing blank lines.	2009-07-16 15:06:42 +02:00
Daniel P. Berrange	6962a2dd7e	Added an optional OCaml+CIL test program for mutex lock validation	2009-05-19 10:17:17 +00:00