diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-10 16:19:00 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-10 16:19:00 +0200 |
| commit | e02c3a9ec2b2f7a8d4aecd70f2ecdae27c207aa9 (patch) | |
| tree | ffa99f96949f3eab728a1b8caecdd014ea8d6f81 /doc/sources.list.5.xml | |
| parent | b2cfacf1180e4b3fcbb2ae2ea52cf270ef74e971 (diff) | |
| parent | 61fef4ddbec8f70bb9e213ac0491d4e6cfefab30 (diff) | |
Merge branch 'cmake'
Diffstat (limited to 'doc/sources.list.5.xml')
| -rw-r--r-- | doc/sources.list.5.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sources.list.5.xml b/doc/sources.list.5.xml index a3181554b..8fdc8eedb 100644 --- a/doc/sources.list.5.xml +++ b/doc/sources.list.5.xml @@ -14,7 +14,7 @@ &apt-email; &apt-product; <!-- The last update date --> - <date>2016-07-08T00:00:00Z</date> + <date>2016-08-06T00:00:00Z</date> </refentryinfo> <refmeta> |