]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14055 from peterrum/docu_global_indices
authorPeter Munch <peterrmuench@gmail.com>
Sun, 3 Jul 2022 20:54:37 +0000 (22:54 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Jul 2022 20:54:37 +0000 (22:54 +0200)
commitb9c422a7efdcef3aafefc2991f6bc3b433df3ecd
tree88f1f2a1914e0506fe8afab0a55a6bce5276b7d8
parent416ef6d5e528c8d7572b0481e44222678e0d8365
parent3d831f64635a962b9d2f8340ea9fb683c6d65fa8
Merge pull request #14055 from peterrum/docu_global_indices

Add cross-references for global indices

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.