]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7613 from drwells/rename-reserved-identifiers
authorDavid Wells <drwells@email.unc.edu>
Sat, 19 Jan 2019 03:31:01 +0000 (22:31 -0500)
committerGitHub <noreply@github.com>
Sat, 19 Jan 2019 03:31:01 +0000 (22:31 -0500)
commitaa383d1ddb5d38e3862066a494229a62a0f041d1
tree045408316835e2ebcae35b4471bbcfeb4d7adcae
parentcc4a351fea75b44ad1e3cbe108e6ee4c18e2e512
parent7e327b963cad2bc5bdbf3f2c17d008296acdb68f
Merge pull request #7613 from drwells/rename-reserved-identifiers

Avoid reserved identifier names in AlignedVector.

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.