on 1cef28c help sign in
history ofmaster..1cef28c
compare
1cef28cREADME: Fix capitalization of HTTPS3noch 2cf10f8command: Put all ghci configurations in the same place3noch ba0c00acommand: Always use relative paths in ghci settings3noch 2c7cbb7skeleton: Use experimental __withGhcide3noch 0388dbbAdd experimental __withGhcide option3noch