]>
author | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Wed, 22 Mar 2017 17:17:06 +0000 (18:17 +0100) | ||
committer | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Wed, 22 Mar 2017 17:17:06 +0000 (18:17 +0100) | ||
commit | 7e175481b1518e99228542104ffec9bf4aacaf44 | |
tree | b137e42b89eafc5c981064e6e7c9cef3d1e9bbb3 | tree | snapshot |
parent | ccfbd44ce5485dcc01af34d731a54a72665c6d3c | commit | diff |
source/base/index_set.cc | diff | blob | history |
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