Rev 52 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
usr/lib/pike/*/modules/*GL*
usr/lib/pike?.?/modules/*GL*
#usr/share/pike/*/modules/*GL*
#usr/share/pike?.?/modules/*GL*