diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-30 11:41:57 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-30 11:41:57 +0200 |
commit | e0556f76954cc56b257dad33aaa94588e87695dc (patch) | |
tree | 6d6d6f4d6682256a40de4abd031175fb7440918d /gnu/local.mk | |
parent | 1abc08a8f48f121cfa5a77394aa71a0441b4eb44 (diff) | |
parent | 87941d1df473511f0f75737e81a51a106132c9de (diff) | |
download | patches-e0556f76954cc56b257dad33aaa94588e87695dc.tar patches-e0556f76954cc56b257dad33aaa94588e87695dc.tar.gz |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions