projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a2044f) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 8 Feb 2024 16:16:19 +0000 (16:16 +0000)
committerRaspbian forward porter <root@raspbian.org>
Thu, 8 Feb 2024 16:16:19 +0000 (16:16 +0000)
commit3f6d9aa41d725b43c2da64974fef02be9f2a2f68
treed7e3a79ca150a28d7b2de8f8e7c6ab7f415319e2tree | snapshot
parent1a2044f52fcec630f3e73a73db81a61a3d7fa2d6commit | 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.