diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:01 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:01 -0500 |
| commit | 70c733d876172ec2676a833a0a8e2a3ddb602b20 (patch) | |
| tree | fac2b340349030ea73eb7b23ae41176c1b0853d3 /.gitignore | |
| parent | 9fe427ff45778f53214ce110bf94fe43459491d1 (diff) | |
Disabled push notifications
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions