diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-09 15:00:00 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-09 15:00:00 -0500 |
commit | 990e055918fb4f737b63b42bf1f80a3b9b850fe6 (patch) | |
tree | 413dc14a62c65dd4266288f13fa2b261c614d8d9 /.gitignore | |
parent | 30dfd62da2105d5c3977a44fa49362e2a87e3185 (diff) |
coccinella: add new package to [pcr]
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions