diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-09 09:51:06 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-09 09:51:06 +0100 |
| commit | 72ef221369df14a527c2751c002b5cf3db29520d (patch) | |
| tree | 2a42de4ee8ad6ecc8ad8e00569cbd06f35712390 /docs/dev | |
| parent | 48a532256cfe466f082c191956535045e85ea929 (diff) | |
Fix link to saem.mmkin from README
Thanks to Uwe Ligges for spotting this inmidst of a lot of ambiguous URL
check results.
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions