projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8fb095) | patch
fix-linitian-file-references-package-build-path
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Tue, 26 Dec 2023 18:41:53 +0000 (19:41 +0100)
committerAnsgar <ansgar@debian.org>
Tue, 26 Dec 2023 18:41:53 +0000 (19:41 +0100)
commitf0b9e76123b1150148e94a7925f3d71087d5e995
tree4d29c58fab3d181d6723fd8a726ed49256bf847ftree | snapshot
parentc8fb095f2b814c67fe3c7051ec986d0c33db8c67commit | diff
fix-linitian-file-references-package-build-path

Prevent lintian warning about file-references-package-build-path

Gbp-Pq: Name fix-linitian-file-references-package-build-path
cmake/modules/DuneProject.cmake diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.