mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-10-13 00:42:11 -05:00
Ignore grammar pickle files.
This commit is contained in:
1 parent
428ed4a277
commit
eb66f15544
1 file changed
+1