Skip to content

Commit

Permalink
fix the description
Browse files Browse the repository at this point in the history
  • Loading branch information
konnov authored and Kukovec committed Apr 15, 2024
1 parent da89c9a commit 0359a22
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion solarkraft/licenser-config.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -246,7 +246,7 @@ substitutions:
end: CURRENT_YEAR
AUTHOR_NAME: "Igor Konnov, Jure Kukovec, Andrey Kuprianov, Thomas Pani"
AUTHOR_WEB: https://github.com/freespek/solarkraft
DESCRIPTION: "Add license information to source files."
DESCRIPTION: "Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache"
HOMEPAGE: https://github.com/freespek/solarkraft
LICENSE_URL: https://github.com/freespek/solarkraft/blob/main/LICENSE
SPDX: Apache-2.0

0 comments on commit 0359a22

Please sign in to comment.