projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1a5cde) | patch
fix-linitian-file-references-package-build-path
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Thu, 10 Oct 2024 14:59:54 +0000 (16:59 +0200)
committerMarkus Blatt <markus@dr-blatt.de>
Thu, 10 Oct 2024 14:59:54 +0000 (16:59 +0200)
commitdd1f67173b8ac65535939d67382f3a8116da16de
treeb8669eb76c730a808b9dfdef39ea0892e0c5be0dtree | snapshot
parentc1a5cdec9e583aefb075db6520395f37a2a6638ecommit | 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.