Capitalise letters in `client.py`

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Apache License 2.0

170 stars 28 forks source link

Closed pitmonticone closed 3 months ago

pitmonticone commented 3 months ago

Very quick PR capitalising a few letters I believe should be capitalised.