diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-07-06 17:42:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-06 17:42:25 +0200 |
| commit | c2808d4c678056084412ae388031ea42898b3f6e (patch) | |
| tree | b3c4d35a73c21dd79917dfe957c022388358d98c /.gitignore | |
| parent | 871d819965b7e183384f8973c01a95b20a5d7fca (diff) | |
| parent | 8694935cc8610a775391309a83980de0e40eb53b (diff) | |
Merge branch 'version-0.15.0'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions