diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-06-30 10:41:47 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-06-30 10:41:47 +0200 |
| commit | e271d3e89bbb1cdd048ae14786911bf64d09f94d (patch) | |
| tree | 7fcea4e4c66683796de63e2460c6f9609efd31a2 /GNUmakefile | |
| parent | 91c5db736a4d3f2290a0cc5698fb4e35ae7bda59 (diff) | |
| parent | 5a21dc4016b0208264e22e6a7e36af62397c13b6 (diff) | |
Merge branch 'dmta_vignette'
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions