]> https://gitweb.dealii.org/ - dealii-svn.git/commit
Avoid the use of head -10, it is deprecated. Use head -n 10 instead.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 17 Oct 2007 00:03:20 +0000 (00:03 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 17 Oct 2007 00:03:20 +0000 (00:03 +0000)
commitedc39ef48d5e02692493f82e99880c73e395fd63
treed5423bd39308420cf97afbdc67136c8f71c089d6
parent472e74e13453a181aeda06fd7a2afb9b6ce87520
Avoid the use of head -10, it is deprecated. Use head -n 10 instead.

git-svn-id: https://svn.dealii.org/trunk@15324 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/aclocal.m4
deal.II/configure

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.