projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b298b9) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@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)
commit643b9a7eaeaf3c1a688b750293bd5746fbd6e908
tree6a1e73e16322a24315a67a1697a80f478d7928a4tree | snapshot
parent6b298b94a55b0a9215f4eba72c21fa60abdee49bcommit | 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.