[ #6055 ] Moved 2.6.3 CHANGELOG.md to doc/release-notes/2.6.3.md.

agda · Jan 30, 2023 · e77cbdd · e77cbdd
1 parent f4ed0ba
commit e77cbdd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/Agda.cabal b/Agda.cabal
@@ -47,6 +47,7 @@ tested-with:        GHC == 8.0.2
 extra-source-files: CHANGELOG.md
                     README.md
                     doc/user-manual/agda.svg
+                    doc/release-notes/2.6.3.md
                     doc/release-notes/2.6.2.2.md
                     doc/release-notes/2.6.2.1.md
                     doc/release-notes/2.6.2.md

diff --git a/CHANGELOG.md → doc/release-notes/2.6.3.md b/CHANGELOG.md → doc/release-notes/2.6.3.md