Jan Lindemann 2e94ebe232 upload.sh: Fix uploading multiple sources, was completely broken		2004-02-08 12:11:15 +00:00
..
get_os.sh	get_os.sh: Add file	2002-07-03 10:26:30 +00:00
jcs	jcs: Fix wrong ownership of $HOME/local directories	2003-07-31 12:08:40 +00:00
Makefile	bin, make, scripts, tmpl/tex: Add include $(MODDIR)/make/ytools.mk	2002-07-20 17:16:40 +00:00
mkspec-wrapper.sh	mkspec-wrapper.sh: Remove unnessecary shift	2002-07-25 22:12:02 +00:00
upload.sh	upload.sh: Fix uploading multiple sources, was completely broken	2004-02-08 12:11:15 +00:00