Open Leogomat opened 4 years ago
With the updates of #12, #9, #10 , the frontend should be adapted accordingly.
With the updates of #12, #9, #10 , the frontend should be adapted accordingly.