projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0acaf3) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 21 Oct 2021 16:29:30 +0000 (17:29 +0100)
committerPatrick Jaap <patrick.jaap@tu-dresden.de>
Thu, 21 Oct 2021 16:29:30 +0000 (17:29 +0100)
commitd798dc2d287ee564d37176cd5cd74b8eb1bb9947
tree584e3a35c4cff151faab7debd33b99209c8f14b0tree | snapshot
parentf0acaf38a01464705c62d4a0dcd3d9bc2c1e5609commit | 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.