]> andersk Git - splint.git/blobdiff - src/Headers/randomNumbers.h
*** empty log message ***
[splint.git] / src / Headers / randomNumbers.h
index 6a5e7c37fad57f533bcb2452e1e5753a6e02fb62..bdbf563aa439e51cfd010001bc33eaee246dd2c2 100644 (file)
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
This page took 0.044302 seconds and 4 git commands to generate.