Put manual in CVS

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index d5155cea61ab2c861991e71d5280d3149685f4be..e744e714118851360ffbac7865c63012671801ca 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  unix.lcd
-;;Splint 3.0.0.21 --- 05 Jan 2002
-;;lib:293
+;;Splint 3.0.1 --- 06 Jan 2002
+;;lib:296
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39