diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-10 13:51:43 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 074987f0f5ebdf608aea6c2d86f70fd5fbc6b640 (patch) | |
| tree | ebcf681084eeac0a2c0691c2afca622a7dd8dc3b /src/Rahm/Desktop/Marking.hs | |
| parent | a652c330707e2e9bbe963e01af79ce730cf3452e (diff) | |
| download | rde-074987f0f5ebdf608aea6c2d86f70fd5fbc6b640.tar.gz rde-074987f0f5ebdf608aea6c2d86f70fd5fbc6b640.tar.bz2 rde-074987f0f5ebdf608aea6c2d86f70fd5fbc6b640.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, |