diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-10 13:51:43 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-04-10 13:51:43 -0600 |
| commit | 49f20ca3391ca713c021fdf15bf9db3fe54f18f6 (patch) | |
| tree | ebcf681084eeac0a2c0691c2afca622a7dd8dc3b /src/Rahm/Desktop/Marking.hs | |
| parent | fada61902291aeb29914fff288301a8c487c4ecd (diff) | |
| download | rde-49f20ca3391ca713c021fdf15bf9db3fe54f18f6.tar.gz rde-49f20ca3391ca713c021fdf15bf9db3fe54f18f6.tar.bz2 rde-49f20ca3391ca713c021fdf15bf9db3fe54f18f6.zip | |
More refactoring. Started breaking up Layout. Moved Language extensions into stack file.
Diffstat (limited to 'src/Rahm/Desktop/Marking.hs')
| -rw-r--r-- | src/Rahm/Desktop/Marking.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Rahm/Desktop/Marking.hs b/src/Rahm/Desktop/Marking.hs index 8e9867d..8ca50fd 100644 --- a/src/Rahm/Desktop/Marking.hs +++ b/src/Rahm/Desktop/Marking.hs @@ -1,4 +1,3 @@ -{-# LANGUAGE ScopedTypeVariables #-} module Rahm.Desktop.Marking ( historyNext, historyPrev, markCurrentWindow, pushHistory, |