X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8250fa4a814c24d90cb21c143b24b8769128a0fb..8fe44445b039605d306d64e3919e562081a10881:/stamp-h diff --git a/stamp-h b/stamp-h new file mode 100644 index 0000000..9788f70 --- /dev/null +++ b/stamp-h @@ -0,0 +1 @@ +timestamp