projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f58a39) | patch
fix-linitian-file-references-package-build-path
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Thu, 12 Jan 2023 15:39:41 +0000 (15:39 +0000)
committerMarkus Blatt <markus@dr-blatt.de>
Thu, 12 Jan 2023 15:39:41 +0000 (15:39 +0000)
commitc231070e33c0a261dda9cc89ff1b0c0d4876ef00
tree0eb91c202647c9c00ee56e108af6360979412f21tree | snapshot
parent9f58a39970294a0e7e8856f64e3efbe08b5563b0commit | 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.