projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7774f82) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
commited9b4bac166c52e42100aa099f16a142ca2f83aa
tree8afbc466c76fa82f5695fdb826a7c0b1b08ab700tree | snapshot
parent7774f82ba304f6c88c6bdc5e88b574d7b14ddd64commit | 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.