crater2150 b96ee9511f Change venv prompt to include parent dir, if venv dir is called "venv" only		2019-05-14 14:44:42 +02:00
..
depend	new repository without sensitive information	2013-03-15 08:39:43 +01:00
init	Change venv prompt to include parent dir, if venv dir is called "venv" only	2019-05-14 14:44:42 +02:00