Skip to content

Commit 0a70f11

Browse files
hyperpolymathhyperpolymath
authored
Update README.adoc
Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
1 parent 4b9cb6f commit 0a70f11

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

‎README.adoc‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
// SPDX-License-Identifier: PMPL-2.0-or-later
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
22
// SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33

44
= Jonathan D.A. Jewell
55

66
image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/hyperpolymath"]
7-
image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-2.0,link="https://github.com/hyperpolymath/palimpsest-license"]
7+
image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"]
88

99
*Formal Methods · Programming Languages · Semantics of Computation*
1010

0 commit comments

Comments
 (0)