6 Commits

Author	SHA1	Message	Date
zimoch	e7234bd1e4	split off runScript to separate file	2015-11-03 13:53:33 +01:00
zimoch	b09d347e6b	Merge branch 'Win32' of ssh://github.psi.ch:7999/ed/require into Win32 ... Conflicts: Makefile	2015-10-23 10:06:23 +02:00
zimoch	1829a696da	fix some of the windows incompatibility	2015-10-22 11:03:04 +02:00
zimoch	1c81c9f7ac	make windows happy	2015-10-22 09:18:26 +02:00
zimoch	e9a8f6fc56	Problems with 3.14.8 when makefile name is not Makefile	2015-08-27 16:58:44 +02:00
zimoch	d871e659c0	makefile renamed for happy Windows	2015-08-26 14:34:52 +02:00