Skip to content

Change packages metadata and rename tactics subfolder#1234

Merged
mergify[bot] merged 3 commits intohaskell:masterfrom
jneira:copyright
Jan 20, 2021

Commits

Commits on Jan 19, 2021

Commits on Jan 20, 2021