]> https://gitweb.dealii.org/ - dealii.git/commit
Rename "strip-comments" to "strip_comments" to make it consistent with "edit_cache"
authorMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 11 Jan 2013 09:07:29 +0000 (09:07 +0000)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 11 Jan 2013 09:07:29 +0000 (09:07 +0000)
commit35879c9417e3f63fee68381fe5cdfeb1c44dddac
tree83f8646f010ac95ccb6752b5b0439cf40a812670
parent536bce7b03a58f7b384e25f49e3dea1b0240cc3c
Rename "strip-comments" to "strip_comments" to make it consistent with "edit_cache"

git-svn-id: https://svn.dealii.org/branches/branch_cmake@28017 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/cmake/macros/macro_deal_ii_invoke_autopilot.cmake

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.