Skip to content
This repository has been archived by the owner on Sep 9, 2020. It is now read-only.

gps: skip hidden directories when looking for packages #1251

Closed
wants to merge 1 commit into from
Closed

gps: skip hidden directories when looking for packages #1251

wants to merge 1 commit into from

Commits on Oct 10, 2017

  1. gps: skip hidden directories when looking for packages

    @vincentbernat
    vincentbernat committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    c9427da View commit details
    Browse the repository at this point in the history