]> https://gitweb.dealii.org/ - dealii.git/commit
Use .empty() rather than .size()
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 10 Mar 2010 01:07:22 +0000 (01:07 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 10 Mar 2010 01:07:22 +0000 (01:07 +0000)
commita26d3b69f357cb10df931391750cb4ed0e4884cb
tree3e0d1f069193039c6a8ee41b8ed3014ae4c50e96
parente6174c8ea0946c7d22324256fe974a3b5cd95869
Use .empty() rather than .size()

git-svn-id: https://svn.dealii.org/trunk@20783 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/base/source/timer.cc

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.