projects / soc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Begin a formal proof of the LVT-based 1W/1R wrapper
[soc.git] / .pylintrc
1 [TYPECHECK]
2 contextmanager-decorators=contextlib.contextmanager,_guardedcontextmanager