projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7303d67) | patch
fix-linitian-file-references-package-build-path
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Thu, 13 Jul 2023 06:20:17 +0000 (07:20 +0100)
committerMarkus Blatt <markus@dr-blatt.de>
Thu, 13 Jul 2023 06:20:17 +0000 (07:20 +0100)
commitee85a58a9e315b4d05045c439e239f90c0c50492
tree1a33597d7dd3ffb291ee60bbe55f8073de27df83tree | snapshot
parent7303d67e3ae24268fd80ba3515bb5990c33d8f3dcommit | 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.