projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d9d5ee) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)
committerAnsgar Burchardt <ansgar@debian.org>
Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)
commit82acebe32f81aac8ee045b097fe5693e1f8be6c9
treec32628049273fd513e2c7b54fda6c563665e9c00tree | snapshot
parent5d9d5ee8082f742e99f51bd826dc32c401f00db6commit | 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.