diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-02-29 11:15:59 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-02-29 11:15:59 +0100 |
commit | 1b1c621370ff887578d7aad8eb7e28ee9ec7812a (patch) | |
tree | c8b4f3ea3e3625d18da356e1f08804cb03fc0da5 /src/common/doc | |
parent | 7063d82f2fc25ba2819adf7c2dbf430d4f012626 (diff) |
default parameter for DTM = dim. doc.
Diffstat (limited to 'src/common/doc')
0 files changed, 0 insertions, 0 deletions