search

vigna / webgraph-rs

A Rust port of the WebGraph framework
Apache License 2.0
32 stars 6 forks source link

CLI: rename merge_perms command to merge-perms #98

Closed zacchiro closed 7 months ago

zacchiro commented 7 months ago

rationale: it was the only command with underscore instead of dash