Getty Ritter f183757d09 Small updates to various scripts 8 лет назад
..
add-link 2c613477ff Small adjustments for new computer 9 лет назад
add-quip 5812ac2536 Added a bunch of small utilities 9 лет назад
add-quote f183757d09 Small updates to various scripts 8 лет назад
adjust-screens 2c613477ff Small adjustments for new computer 9 лет назад
as-tmp f183757d09 Small updates to various scripts 8 лет назад
avg f183757d09 Small updates to various scripts 8 лет назад
docker-delete-images 5812ac2536 Added a bunch of small utilities 9 лет назад
ff-here 2c613477ff Small adjustments for new computer 9 лет назад
gdr-img 5812ac2536 Added a bunch of small utilities 9 лет назад
ghc-clean-pkgs 5812ac2536 Added a bunch of small utilities 9 лет назад
ghc-wrapper 5812ac2536 Added a bunch of small utilities 9 лет назад
ghci-with 5812ac2536 Added a bunch of small utilities 9 лет назад
git-add-untracked-sources 1c3d0c2852 Helper scripts for automatically updating git repos 9 лет назад
git-ls-untracked-sources 1c3d0c2852 Helper scripts for automatically updating git repos 9 лет назад
git-update-all 1c3d0c2852 Helper scripts for automatically updating git repos 9 лет назад
minimize-pdf-file-size 5812ac2536 Added a bunch of small utilities 9 лет назад
pr-pamphlet 5812ac2536 Added a bunch of small utilities 9 лет назад
pr-paper 2c613477ff Small adjustments for new computer 9 лет назад
surf-here 17e7edd55b Some common shell scripts too 9 лет назад
twit 5812ac2536 Added a bunch of small utilities 9 лет назад
windows 5812ac2536 Added a bunch of small utilities 9 лет назад
yaml2csv 5812ac2536 Added a bunch of small utilities 9 лет назад