]> https://gitweb.dealii.org/ - dealii-svn.git/commit
projects / dealii-svn.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 904f8b9) | patch
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
tree2e556ade321236e3b69dfa3cbee934c32e6f01datree | snapshot
parent904f8b99ec5ae2c2086f3d9884e4b1601143e62acommit | diff
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 diff | blob | history
deal.II/contrib/kdoc/src/configure.in diff | blob | history
Git mirror of the historical svn repository

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.