scripts.git - Various useful (and less useful) scripts

Age	Commit message (Collapse)	Author	Files	Lines
2009-12-27	mkheader: Convert tabs to spaces	Tobias Klauser	1	-64/+64

2009-06-10	mkheader.py: Specify encoding as per PEP 0263	Tobias Klauser	1	-0/+1

2009-06-10	mkheader.py: Add license (beer-ware)	Tobias Klauser	1	-0/+10

2009-06-10	mkheader.py: Allow to print file to stdout	Tobias Klauser	1	-9/+21
	This is needed for vim integration.
2009-05-12	Makefile: Install/uninstall $BINDIR	Tobias Klauser	1	-0/+2

2009-05-10	Add perm.py script	Tobias Klauser	2	-1/+44

2009-05-10	Makefile: Be more verbose about what is installed, add uninstall target	Tobias Klauser	1	-1/+6

2009-05-06	mkheader.py: Implement launching editor, use getopt	Tobias Klauser	1	-11/+44

2009-04-26	Added multi-send-key script	Tobias Klauser	2	-1/+85

2009-04-26	Added isprime script	Tobias Klauser	2	-1/+32

2009-04-21	Added .gitignore	Tobias Klauser	1	-0/+1

2009-04-21	Added Makefile	Tobias Klauser	1	-0/+11

2009-04-21	Initial commit	Tobias Klauser	1	-0/+44