Joey Hess 37b42e72e7 catch exceptions in upgrade ... Exceptions due to eg, not being able to write to the repo are not very useful. There tends to be an error message from git about permission denied.		2019-08-27 12:33:35 -04:00
..
V0.hs	update licenses from GPL to AGPL	2019-03-13 15:48:14 -04:00
V1.hs	update licenses from GPL to AGPL	2019-03-13 15:48:14 -04:00
V2.hs	update licenses from GPL to AGPL	2019-03-13 15:48:14 -04:00
V3.hs	update licenses from GPL to AGPL	2019-03-13 15:48:14 -04:00
V4.hs	remove most remnants of direct mode	2019-08-26 16:27:48 -04:00
V5.hs	catch exceptions in upgrade	2019-08-27 12:33:35 -04:00
V6.hs	v7	2018-10-25 18:24:23 -04:00