worker/Dockerfile · fee04aab275cf36bfdda292a40a818128d98fc30 · Algorithms Library Toolkit / webui-client

2 years ago

Tomáš Pecka authored 2 years ago

We are now building against core commit
e38a6578eca11b18a0fbe5802e5d9f110d2c38d8[1].

We wanted to bring in new LatexConverter modifications for latex output
in OutputDialog.

[1] automata-library@e38a6578

fee04aab

History

worker: bump core version

Tomáš Pecka authored 2 years ago

We are now building against core commit
e38a6578eca11b18a0fbe5802e5d9f110d2c38d8[1].

We wanted to bring in new LatexConverter modifications for latex output
in OutputDialog.

[1] automata-library@e38a6578

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Admin message