summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-02-27 14:05:24 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-02-27 14:05:24 -0400
commit5eeb9b803871ef4898937167e6d1be83342b52dc (patch)
tree791a177ba2bf2d383fc77d39ccd2eb97c995fbcf /.ghci
parenteffeb0611402eed2dfb834b3ebd4f02145c5c09a (diff)
temporarily remove DNS flag for Android
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions