projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f9713a) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 13 Jul 2023 06:20:17 +0000 (07:20 +0100)
committerMarkus Blatt <markus@dr-blatt.de>
Thu, 13 Jul 2023 06:20:17 +0000 (07:20 +0100)
commit6e41413ecb11f129c0023d13e6c90025419d68c6
tree8884e049888ca68ffd5e8657fbbd2f937c73b25ctree | snapshot
parent0f9713a8ee725e7f40538008fca4a8fd742ff0ddcommit | 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.