diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-05-19 19:44:54 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-05-19 19:44:54 +0200 |
| commit | 027c42c467da891803936155097879896dcd7ec7 (patch) | |
| tree | d6a7eef965cd4d02361370b3fa34fa0eb68350bb /plugins/setoid_ring | |
| parent | d2f9a457d0bb2fd11ac7d5f6587174a79ca9c4b6 (diff) | |
adding "user-contrib" directory to ".gitignore"
Diffstat (limited to 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions