mirror of
https://github.com/urbit/shrub.git
synced 2024-12-16 06:51:14 +03:00
27dd121d14
git-subtree-dir: outside/re2 git-subtree-mainline: f94738bfd171ae447133e0964843addbb497894f git-subtree-split: 539b44fc4c5a49c3453b80e3af85d297f4cab4bf
8 lines
51 B
Plaintext
8 lines
51 B
Plaintext
syntax:glob
|
|
*.pyc
|
|
*.orig
|
|
core
|
|
|
|
syntax:regexp
|
|
^obj/
|