search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
183 stars 39 forks source link

Update sphinx from 4.4.0 to 7.2.2 #76

Open hwayne opened 10 months ago

hwayne commented 10 months ago

I don't know what features exactly this is gonna get us but I've fallen behind on these kinds of upgrades before and do not recommend it