search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
170 stars 28 forks source link

Include `lean_toolchain` to `files_to_add` list #42

Open pitmonticone opened 3 months ago

pitmonticone commented 3 months ago

This PR includes lean-toolchain to the files_to_add list.

I have tested it locally and it works as expected.