diff options
author | 2014-05-25 21:25:04 -0400 | |
---|---|---|
committer | 2014-05-25 21:25:04 -0400 | |
commit | 895d5836776363835ff455d11c9c7eda72710d69 (patch) | |
tree | 2b562ef67224ddf8080071066e6afbf0125a57fb /standalone/android/.gitignore | |
parent | 66c3f3f8ed899e707176b4492273e4139504c0a6 (diff) |
work around recent cabal dependency mess
Diffstat (limited to 'standalone/android/.gitignore')
0 files changed, 0 insertions, 0 deletions