]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be4fd28) | patch
Delete a redundant comment.
authorDavid Wells <drwells@vt.edu>
Mon, 8 Jun 2015 03:21:34 +0000 (23:21 -0400)
committerDavid Wells <drwells@vt.edu>
Mon, 8 Jun 2015 03:21:34 +0000 (23:21 -0400)
commitf36de4bfadc16de975aef606e601fee5fdf4c9de
treefe677cee56455080fff8c0bd0e468384a283aa12tree | snapshot
parentbe4fd28ae303f325d6426139edd6dc6acec7ae86commit | diff
Delete a redundant comment.
The contents of this comment are covered by either std::unique_ptr's
documentation or comments around reset_pointer_in_place_if_possible.
source/fe/fe_values.cc 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.