]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9051b7) | patch
Remove an unnecessary include file. 10020/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 2 May 2020 23:00:40 +0000 (17:00 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 2 May 2020 23:00:40 +0000 (17:00 -0600)
commitd0ee14375d679dbde7328ef3dcea3fe83e57d5e0
tree5e793f683530dada83d23770285e569827d75c2dtree | snapshot
parente9051b79e6239205fd6d78a90ab83e77435de96ecommit | diff
Remove an unnecessary include file.

Specifically, vector.h doesn't reference LogStream or deallog and so doesn't need
the include file.
include/deal.II/lac/vector.h 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.