- cint dir was missing from distribution
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 7 Feb 2000 19:47:35 +0000 (19:47 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 7 Feb 2000 19:47:35 +0000 (19:47 +0000)
commit9d22692238af9dd0875b5ed849e6ce3a3d503a87
treee645ed6a5892d47367adfab259611f5c2bd339a5
parent5ed82a8b4158d90bbe0ac155f28fc3db42d76d51
- cint dir was missing from distribution
13 files changed:
Makefile.am
Makefile.in
check/Makefile.in
cint/Makefile.am
cint/Makefile.in
doc/Makefile.in
doc/reference/Makefile.in
doc/tutorial/Makefile.in
doc/tutorial/stamp-vti
doc/tutorial/version.texi
ginac/Makefile.in
ginsh/Makefile.in
tools/Makefile.in