]> https://gitweb.dealii.org/ - dealii-svn.git/commit
projects / dealii-svn.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 313bd88) | patch
Delete archive file to avoid packing the same object files into it many times if...
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 26 Aug 2007 21:39:39 +0000 (21:39 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 26 Aug 2007 21:39:39 +0000 (21:39 +0000)
commit29300c9d7b29b6fae331a092d03c0eed35dd0be3
treead91b1cb3d877101b6f7b1d5816008aa43bebc48tree | snapshot
parent313bd88cd094acd49602ce0f376925e58f291cc6commit | diff
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 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.