diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-19 19:16:14 +0900 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-19 19:16:14 +0900 |
| commit | 1db615375455598fb0fbe2b7db5c658769dad3b3 (patch) | |
| tree | 95275033ad062536c0d637d27e2ea732976c2084 /src/Utility/Path.hs | |
| parent | 45ad7a24d219794a093ccea8ed7914889d86183d (diff) | |
when on Jessie, work around #792100
Diffstat (limited to 'src/Utility/Path.hs')
0 files changed, 0 insertions, 0 deletions