From: Peter Munch Date: Sat, 6 Jan 2024 13:52:03 +0000 (+0100) Subject: Remove unnecessary change-log entries X-Git-Tag: relicensing~199^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16418%2Fhead;p=dealii.git Remove unnecessary change-log entries --- diff --git a/doc/news/changes/incompatibilities/20230627MatthiasMaier b/doc/news/changes/incompatibilities/20230627MatthiasMaier deleted file mode 100644 index 7dc84bc908..0000000000 --- a/doc/news/changes/incompatibilities/20230627MatthiasMaier +++ /dev/null @@ -1,3 +0,0 @@ -Rotated: The changes files have been rotated. -
-(Matthias Maier, 2023/06/27) diff --git a/doc/news/changes/major/20230627MatthiasMaier b/doc/news/changes/major/20230627MatthiasMaier deleted file mode 100644 index 7dc84bc908..0000000000 --- a/doc/news/changes/major/20230627MatthiasMaier +++ /dev/null @@ -1,3 +0,0 @@ -Rotated: The changes files have been rotated. -
-(Matthias Maier, 2023/06/27) diff --git a/doc/news/changes/minor/20230627MatthiasMaier b/doc/news/changes/minor/20230627MatthiasMaier deleted file mode 100644 index 7dc84bc908..0000000000 --- a/doc/news/changes/minor/20230627MatthiasMaier +++ /dev/null @@ -1,3 +0,0 @@ -Rotated: The changes files have been rotated. -
-(Matthias Maier, 2023/06/27)