]> https://gitweb.dealii.org/ - dealii-svn.git/commit
projects / dealii-svn.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd74cc1) | patch
Search first for the file with its complete given name. I.e., if someone
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 7 Oct 2013 13:28:39 +0000 (13:28 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 7 Oct 2013 13:28:39 +0000 (13:28 +0000)
commit73ffe236853b05b8f2d0adc84c522259fc30590e
tree56773a028a60f75074b66c4ad0fbbb22f0baa8a3tree | snapshot
parentfd74cc1a26103dc5b5240089539e1f5c240b5eb2commit | diff
Search first for the file with its complete given name. I.e., if someone
searches for <mesh.vtk> with additional suffix <.vtk>, then still find the
file if it exists before trying <mesh.vtk.vtk>.

git-svn-id: https://svn.dealii.org/trunk@31162 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/source/base/path_search.cc diff | blob | history
Git mirror of the historical svn repository

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.