]> https://gitweb.dealii.org/ - dealii.git/commit
Avoid the use of head -10, it is deprecated. Use head -n 10 instead.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 17 Oct 2007 00:03:20 +0000 (00:03 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 17 Oct 2007 00:03:20 +0000 (00:03 +0000)
commitd2c85abb8b8661514dedb0458161a9b4893041b4
treea8c96a13de603e19c3bd8460d1ff9a97e6e3db79
parent5a8f0d46fc1585daa2b13d260bfc68c1ea02f325
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.