]> https://gitweb.dealii.org/ - dealii.git/commit
Delete archive file to avoid packing the same object files into it many times if...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sun, 26 Aug 2007 21:39:39 +0000 (21:39 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sun, 26 Aug 2007 21:39:39 +0000 (21:39 +0000)
commitfa3d5aef02a4bfe9633c7005cf87724268dea59c
tree77244f5cc2f4fbf6614f9d581b31de3659f14e75
parent617b8932086bdd2fd7977972a0a4661e211721f8
Delete archive file to avoid packing the same object files into it many times if it isn't deleted before writing into it.

git-svn-id: https://svn.dealii.org/trunk@15047 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/lib/Makefile

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.