lopsub.7: Avoid the term "all-permissive license".
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 11 May 2019 11:28:21 +0000 (13:28 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 11 May 2019 11:34:05 +0000 (13:34 +0200)
commit156409edac4716ac48a67b81be4961abe69fb69d
treebdc7f08c574de10755e9c46abc853a0fa3ba9390
parent72d28bdb0cd9c57d9d650006038f2ef2689aaee2
lopsub.7: Avoid the term "all-permissive license".

As pointed out by Thorsten Alteholz, we use the term without really
explaining it. Replace it with "public domain", which is well-defined
and conveys the intended meaning.
lopsub.7.m4