Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
5690 commits behind the upstream repository.
user avatar
Oliver Sander authored
In particular, the search gets faster _because of_ the use of ls,
not _despite_ of it.

[[Imported from SVN: r6769]]
c9d4e759
History