]> https://gitweb.dealii.org/ - dealii-svn.git/commit
Use "kill" instead to monitor liveness of other process
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 17:29:50 +0000 (17:29 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 17:29:50 +0000 (17:29 +0000)
commite40955f76b61513a23895663d683eaaf2d01d0da
tree495bc15e97fae851c1fc644c3e8a7a1e4b329a4c
parentc9637d2f615858016feb6bf4253cdd1a698b99c3
Use "kill" instead to monitor liveness of other process

git-svn-id: https://svn.dealii.org/trunk@6583 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/contrib/hsl/source/detached_ma27.cc
deal.II/lac/source/sparse_direct.cc

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.