Codestin Search App

DEPRECATED in favour of neosimsim/myenv

Collection of script files

Configure

To change the installation destination or set of scripts to be installed change PREFIX in Makefile.

make install

Name		Name	Last commit message	Last commit date
Latest commit History 150 Commits
.gitignore		.gitignore
1		1
2		2
3		3
Ahfmt		Ahfmt
GitFiles.hs		GitFiles.hs
LICENSE.md		LICENSE.md
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
Uni.hs		Uni.hs
a		a
a+		a+
a-		a-
agda		agda
agda-mode		agda-mode
agda2		agda2
agofmt		agofmt
bat		bat
bundle		bundle
cmnt		cmnt
codespell		codespell
dpass		dpass
fext		fext
filter		filter
g		g
games		games
getmod		getmod
git-to-dot		git-to-dot
hi		hi
hsinit		hsinit
keystore		keystore
lessk		lessk
license		license
lower		lower
mkgit		mkgit
open		open
overwrite		overwrite
passgen		passgen
pick		pick
quote		quote
remtrail		remtrail
rotatekb		rotatekb
scripts.cabal		scripts.cabal
splitcammel		splitcammel
tmux-run-selection-with		tmux-run-selection-with
tmux-select-word		tmux-select-word
tmux-ws		tmux-ws
ucmnt		ucmnt
unfreeze-ghc-libs		unfreeze-ghc-libs
uni_test_in		uni_test_in
uni_test_out		uni_test_out
upper		upper
xname		xname
year		year
zap		zap