bb3d75bf71
The argument was never used since sealert always crashed on GUI setup, but it iss still better to remove it to avoid issues in the future. |
||
---|---|---|
.. | ||
Makefile | ||
runtest.sh |
bb3d75bf71
The argument was never used since sealert always crashed on GUI setup, but it iss still better to remove it to avoid issues in the future. |
||
---|---|---|
.. | ||
Makefile | ||
runtest.sh |