| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-05-18 | some tuning | Michal Idziorek |
| 2019-06-12 | Update .ghci | miguelvoid |
| 2019-05-26 | more configs | Miguel |
 |
index : miguel/dotfiles.git | |
| dotfiles |
| summaryrefslogtreecommitdiff |
|
index : miguel/dotfiles.git | |
| dotfiles |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-05-18 | some tuning | Michal Idziorek |
| 2019-06-12 | Update .ghci | miguelvoid |
| 2019-05-26 | more configs | Miguel |