Page MenuHomeSoftware Heritage

Use integers as tool ids.
ClosedPublic

Authored by vlorentz on Feb 20 2019, 5:15 PM.

Details

Summary

Needed to pass them as arguments on the CLI.

Diff Detail

Repository
rDCIDX Metadata indexer
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

This revision is now accepted and ready to land.Feb 20 2019, 6:11 PM
This revision was automatically updated to reflect the committed changes.