mirror of
https://github.com/DigitalDevices/octonet.git
synced 2023-10-10 13:36:52 +02:00
fix linux config
This commit is contained in:
parent
008a209990
commit
a298ecfb0b