projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d053a90) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Mon, 11 Jan 2021 21:23:00 +0000 (21:23 +0000)
committerAnsgar <ansgar@debian.org>
Mon, 11 Jan 2021 21:23:00 +0000 (21:23 +0000)
commit86bc978d8dc41fabb1a28498d8593c7553ac0cb7
tree78997624779c5bb0b349b2fce4ff01a0fefa22edtree | snapshot
parentd053a9033e308a02baa23bda96c596b3d64a1fb7commit | 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.