aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-03-09 09:51:06 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-03-09 09:51:06 +0100
commit72ef221369df14a527c2751c002b5cf3db29520d (patch)
tree2a42de4ee8ad6ecc8ad8e00569cbd06f35712390 /docs/dev
parent48a532256cfe466f082c191956535045e85ea929 (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

Contact - Imprint