diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:23:46 +0100 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:23:46 +0100 |
| commit | ff34ee649e24b4d244e063b2aed88a720692f815 (patch) | |
| tree | c6c4af7de617b7a241455561dab0614d67395db3 /.gitignore | |
| parent | e57128d00c6426a89bbd49fe305de17f8e6c2f5a (diff) | |
Version bumped to 31.5.0
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions