Commit message (Expand) | Author | Age | |
---|---|---|---|
* | archive some unused configuration | Sean Whitton | 2022-11-25 |
* | simplify .ghci | Sean Whitton | 2018-04-14 |
* | remove ghci-ng option from .ghci | Sean Whitton | 2015-03-21 |
* | .ghci for use with ghci-ng | Sean Whitton | 2015-02-18 |
index : dotfiles | ||
Sean's dotfiles | git repository hosting |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | archive some unused configuration | Sean Whitton | 2022-11-25 |
* | simplify .ghci | Sean Whitton | 2018-04-14 |
* | remove ghci-ng option from .ghci | Sean Whitton | 2015-03-21 |
* | .ghci for use with ghci-ng | Sean Whitton | 2015-02-18 |