Skip to content

W
webui-client
Unverified Commit 1e76f24e authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files
Options

worker: Adapt to changes in core 

Core commit 9808385fd97d465959275fe007acce3c9b11e29d [1] renamed publicly
installed includes that we use.

[1] automata-library@9808385f
parent 9950805b
Pipeline #174810 passed with stages
          in 10 minutes