projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fbe8b3) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 7 Nov 2024 15:59:08 +0000 (16:59 +0100)
committerMarkus Blatt <markus@dr-blatt.de>
Thu, 7 Nov 2024 15:59:08 +0000 (16:59 +0100)
commit96e9cfc22013d664acc792515df59417667e4e05
tree5e2b5335956b19b4b1cd1af49c81a68d65a79c80tree | snapshot
parent0fbe8b3e4d334981df818723a43cec2cced3241acommit | diff
skip directories starting with a dot when looking for dune.module

Gbp-Pq: Name skip-dirs-starting-with-dot.patch
lib/dunemodules.lib diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.