diff options
| author | jao <jao@gnu.org> | 2018-12-24 01:46:27 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-12-24 01:46:27 +0000 |
| commit | 88beadf9fc6ced92b016b1b6b9d1842f884ef958 (patch) | |
| tree | 91c9d21b651ba8d2c10dcfa3e5bd8e1e5b1e2fbf /Plugins/EWMH.hs | |
| parent | 8ec23ca5f2107187fffbad36510d80a0b4aa5834 (diff) | |
| download | xmobar-88beadf9fc6ced92b016b1b6b9d1842f884ef958.tar.gz xmobar-88beadf9fc6ced92b016b1b6b9d1842f884ef958.tar.bz2 | |
stack.yaml for lts-13.0 (ghc 8.6.3)
With notes on how to adapt it to lts-12.4 (i.e., ghc 8.4.4). See also #357.
Diffstat (limited to 'Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions