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