projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9bd44d) | patch
skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Tue, 21 Jul 2020 02:56:28 +0000 (03:56 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 21 Jul 2020 02:56:28 +0000 (03:56 +0100)
commitf047bfc6100471cbf1d905f256c8ae508d730c31
tree6a822329ab7b79b0ba763b3197f165d5fc1731b1tree | snapshot
parenta9bd44dd36b38d4df2f4b707ca5be3156ff2df1bcommit | 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.