]> https://gitweb.dealii.org/ - dealii.git/commit
Fix the output of the deprecation script. 4394/head
authorDavid Wells <wellsd2@rpi.edu>
Sun, 14 May 2017 16:55:46 +0000 (12:55 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Tue, 16 May 2017 12:36:25 +0000 (08:36 -0400)
commitac2132faed6df87557420acf15519952b3a3d905
tree1e4d28dc8978492a7937e5957c62706ea98a3030
parent69be89975794424aebc4b9a73601053176e9a4cc
Fix the output of the deprecation script.

Some tags (e.g., 'rebase_here') may not be version numbers so we should not drop
the first letter.
contrib/utilities/print_deprecated.py

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.