search

vprover / vprover.github.io

Other
0 stars 5 forks source link

Fix `portfolio` command #8

Open sankalpgambhir opened 1 year ago

sankalpgambhir commented 1 year ago

Fixed spelling of portfolio in the usage command shown for it.

portflio --> portfolio

This caused the command to not work before.