projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa25435) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 21 Jun 2018 07:17:17 +0000 (08:17 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Thu, 21 Jun 2018 07:17:17 +0000 (08:17 +0100)
commit901c25160930d4eb258f4432c8ff570ae9bde642
tree7460ee05d6412e9ef3e2a93c3a32c97f9cde2a58tree | snapshot
parentaa25435ea0079470a7f1bc80ab4b2bb4506872d5commit | 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.