Jan Lindemann 01b5f9c7c3 upload.sh: Not all leading directories created ... Bugfix in mkdir_ssh: Sometimes not all leading directories were created.		2004-02-07 22:53:31 +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: Not all leading directories created	2004-02-07 22:53:31 +00:00