]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69be899) | patch
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
tree1e4d28dc8978492a7937e5957c62706ea98a3030tree | snapshot
parent69be89975794424aebc4b9a73601053176e9a4cccommit | diff
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 diff | blob | history
Mirror of the development repository for deal.II

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.