]> git.tue.mpg.de Git - dss.git/commit
index.html: Replace license section from index.html by simple link.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 May 2024 22:45:35 +0000 (00:45 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit1184ae71682652204fbb7b23a2085e6f19ffc7b2
tree69fcef4d0dd54cff81265337103152aa458b2de6
parent611b19b9cb83774230bf192a48ecf385ab7eabc3
index.html: Replace license section from index.html by simple link.

No need to have a full section for a single sentence. Just add an
item in the resource section which states the same information.
index.html.m4