The README got messed up when my commit got merged

tlaplus / PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz

https://d3s.mff.cuni.cz/f/teaching/nswi101/pluscal.pdf

MIT License

20 stars 3 forks source link

The README got messed up when my commit got merged #2

Closed chris-ortiz-wdc closed 3 hours ago

chris-ortiz-wdc commented 3 hours ago

Hi Markus,

Thanks for merging my 2 edits on the tex and pdf files. Those are the files I only changed and I did not modify the README. I now noticed that the README on this github page has red LaTeX entries. I believe the README has to be regenerated, for which I don't know how. Sorry for the inconveniences.

Best regards, Zitro

lemmy commented 3 hours ago

https://github.com/tlaplus/PlusCalCheatSheet/commit/b51757cba6ca07ed43f8d64fa242f4ad63742124 should take care of it. This was not caused by your PR! Thanks