HomeSoftware Heritage

Change lister to new lister using Github API.

Description

Change lister to new lister using Github API.

Details

Provenance
yuanyinAuthored on Mar 11 2018, 7:16 PM
yuanyinPushed on Mar 11 2018, 7:16 PM
Parents
R131:a88e7a457530: Script for classifying files by language
Branches
Unknown
Tags
Unknown