]> https://gitweb.dealii.org/ - dealii-svn.git/commit
switch off caching, since that leads to insurmountable trouble if
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 22 Mar 2001 17:47:29 +0000 (17:47 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 22 Mar 2001 17:47:29 +0000 (17:47 +0000)
commitdee2afab829fc19aaaf2365a9c2e5368b17edfee
tree2e556ade321236e3b69dfa3cbee934c32e6f01da
parent904f8b99ec5ae2c2086f3d9884e4b1601143e62a
switch off caching, since that leads to insurmountable trouble if
you call ./configure subsequently on different systems without
clearing the cache

git-svn-id: https://svn.dealii.org/branches/Branch-3-1@4267 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/contrib/kdoc/src/configure
deal.II/contrib/kdoc/src/configure.in

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.