diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:45:25 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:45:25 -0500 |
| commit | 9fe427ff45778f53214ce110bf94fe43459491d1 (patch) | |
| tree | 6e5cb35267234e58677d55141f05e2b8bcb3a43e /.gitignore | |
| parent | 21250de51aae2f76cb33d4083d7c91d378c0055d (diff) | |
Updated extensions through running updated data/update-extensions.sh
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions