diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
commit | 12f5535a178f74adac36237894ffe08e27b7d449 (patch) | |
tree | 666d4a701293f83800d5e87f0cc1e0020c96f1f7 /.appdata/ghc | |
parent | code style (diff) | |
download | linux-home-12f5535a178f74adac36237894ffe08e27b7d449.tar.gz linux-home-12f5535a178f74adac36237894ffe08e27b7d449.zip |
move Windows-specific stuff to .appdata/
Diffstat (limited to '')
-rw-r--r-- | .appdata/ghc/ghci.conf (renamed from .GHC/ghci.conf) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.GHC/ghci.conf b/.appdata/ghc/ghci.conf index 45a1338..45a1338 100644 --- a/.GHC/ghci.conf +++ b/.appdata/ghc/ghci.conf |