change date to 11 oct
This commit is contained in:
parent
42a24ef2d7
commit
dd99fd2133
|
@ -5,4 +5,4 @@
|
|||
E-mail: {\tt guido@cwi.nl}
|
||||
}
|
||||
|
||||
\date{6 Oct 1994 \\ Release 1.1} % XXX update before release!
|
||||
\date{11 Oct 1994 \\ Release 1.1} % XXX update before release!
|
||||
|
|
|
@ -5,4 +5,4 @@
|
|||
E-mail: {\tt guido@cwi.nl}
|
||||
}
|
||||
|
||||
\date{6 Oct 1994 \\ Release 1.1} % XXX update before release!
|
||||
\date{11 Oct 1994 \\ Release 1.1} % XXX update before release!
|
||||
|
|
Loading…
Reference in New Issue