projects
/
dune-common.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fbc8086
)
[PATCH 1/2] Fix version in dune.module
author
Markus Blatt
<markus@dr-blatt.de>
Fri, 9 Dec 2022 14:58:55 +0000
(15:58 +0100)
committer
Markus Blatt
<markus@dr-blatt.de>
Thu, 7 Nov 2024 15:59:08 +0000
(16:59 +0100)
Gbp-Pq: Name dunemodule-version.patch
dune.module
patch
|
blob
|
history
diff --git
a/dune.module
b/dune.module
index b7673a520ff61124c043a4bf20ea4ef0c9c8eb3d..382e828c281e410ea866b386dbff5b974cc17d57 100644
(file)
--- a/
dune.module
+++ b/
dune.module
@@
-2,7
+2,7
@@
# SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
Module: dune-common
-Version: 2.9
-git
+Version: 2.9
.0
Author: The Dune Core developers
Maintainer: dune-devel@lists.dune-project.org
Description: Basis infrastructure for all Dune modules