diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-10-05 22:01:01 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-10-05 22:02:41 +0200 |
| commit | 7260caff72eccf3ec57d51d55d878d2c00ef5a14 (patch) | |
| tree | 9d013dd2b4952efb62b55393cb5a836c6d6e3b8d /doc/makefile | |
| parent | 78046276db89bed39cde785760cd5d0c694ddb1d (diff) | |
1.2.15 RC1
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions