Bugfix commandline options ref

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org

https://docs.uppaal.org

1 stars 13 forks source link

Closed Damiloju closed 1 year ago

Damiloju commented 1 year ago

Socket Server docs currently reference the wrong page
Based on the help page in Uppaal, I believe it should reference https://docs.uppaal.org/toolsandapi/uppaal/

Change reference to /toolsandapi/uppaal/ for https://docs.uppaal.org/toolsandapi/uppaal/

Screenshot 2023-04-02 at 13 02 54

CLAassistant commented 1 year ago

All committers have signed the CLA.