]> www.ginac.de Git - ginac.git/commitdiff
- moved configure options behind libtool so they appear at the end of the list
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 28 Jan 2000 17:46:11 +0000 (17:46 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 28 Jan 2000 17:46:11 +0000 (17:46 +0000)
  in "configure --help"


No differences found