Skip to content

Use integers as tool ids.

vlorentz requested to merge generated-differential-D1164-source into generated-differential-D1164-target

Needed to pass them as arguments on the CLI.

Migrated from D1164 (view on Phabricator)

Merge request reports