Getty Ritter 459db7cc70 Added cabal file scripts il y a 7 ans
..
add-link 2c613477ff Small adjustments for new computer il y a 9 ans
add-quip 5812ac2536 Added a bunch of small utilities il y a 9 ans
add-quote f183757d09 Small updates to various scripts il y a 8 ans
adjust-screens 2c613477ff Small adjustments for new computer il y a 9 ans
as-tmp f183757d09 Small updates to various scripts il y a 8 ans
avg f183757d09 Small updates to various scripts il y a 8 ans
dir2yaml cce3212210 Misc deletions and restructuring il y a 7 ans
docker-delete-images 5812ac2536 Added a bunch of small utilities il y a 9 ans
ff-here 2c613477ff Small adjustments for new computer il y a 9 ans
gdr-img e24cc7b1ff gdr-img loops through arguments il y a 8 ans
ghc-clean-pkgs 5812ac2536 Added a bunch of small utilities il y a 9 ans
ghc-wrapper 7f102d77c5 Added some error-checking to ghc-wrapper il y a 8 ans
ghci-with cce3212210 Misc deletions and restructuring il y a 7 ans
git-add-untracked-sources 1c3d0c2852 Helper scripts for automatically updating git repos il y a 9 ans
git-ls-untracked-sources 1c3d0c2852 Helper scripts for automatically updating git repos il y a 9 ans
git-update-all 1c3d0c2852 Helper scripts for automatically updating git repos il y a 9 ans
license 49a35c94f1 Added license script il y a 8 ans
minimize-pdf-file-size 5812ac2536 Added a bunch of small utilities il y a 9 ans
mk-cabal-executable-file 459db7cc70 Added cabal file scripts il y a 7 ans
mk-cabal-file 459db7cc70 Added cabal file scripts il y a 7 ans
new-cabal-exec efe8115841 Added new-cabal-exec script il y a 8 ans
pr-pamphlet 5812ac2536 Added a bunch of small utilities il y a 9 ans
pr-paper 2c613477ff Small adjustments for new computer il y a 9 ans
surf-here 17e7edd55b Some common shell scripts too il y a 9 ans
twit 5812ac2536 Added a bunch of small utilities il y a 9 ans
windows 5812ac2536 Added a bunch of small utilities il y a 9 ans
yaml2csv 5812ac2536 Added a bunch of small utilities il y a 9 ans
yaml2dir cce3212210 Misc deletions and restructuring il y a 7 ans