HomeSoftware Heritage

Merge pull request #61 from UGent-DICT/feature/uniq_searchdomains

Description

Merge pull request #61 from UGent-DICT/feature/uniq_searchdomains

Remove duplicates from the searchpath.

Details

Provenance
Steffen Zieger <me@saz.sh>Authored on Nov 9 2019, 9:19 AM
GitHub <noreply@github.com>Committed on Nov 9 2019, 9:19 AM
olasdPushed on Nov 29 2019, 3:34 PM
Parents
rSPRESO68b6dc80e172: Remove duplicates from the searchpath.
rSPRESO45741e009b0a: fix rubocop target ruby version
Branches
Unknown
Tags
Unknown

Event Timeline