diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-10-12 21:42:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-10-12 21:42:06 +0200 |
| commit | adc90e0eac3cb326cd687f80514dad6a5240969d (patch) | |
| tree | 6335b4b8cded5dc1518b5494762cdb09d8acbab1 /gnu/packages/patches/flint-ldconfig.patch | |
| parent | a8bc747ae1ba53c4c8719730284a771187d8ccfb (diff) | |
| parent | 9765b3aeac88ae9c9ffc38ed6d1f8dcbd9abca7b (diff) | |
Merge branch 'core-updates'
Diffstat (limited to 'gnu/packages/patches/flint-ldconfig.patch')
0 files changed, 0 insertions, 0 deletions