7 commits

Author	SHA1	Message	Date
polytan02	72689e318f	Place robots.txt in conf folder	2016-12-23 21:04:09 +00:00
polytan02	43057b0eb3	Cleaning	2016-12-23 20:25:21 +00:00
polytan02	851321dbc7	We download sources instead of having them in the depot	2016-12-23 20:24:09 +00:00
polytan02	5901f8cb5e	We don't store sources anymore	2016-12-23 19:01:12 +00:00
polytan02	6ad5fbe2a5	Update of manifest.json to request further parameters	2016-12-22 02:42:11 +00:00
polytan02	ccdc963935	Use of release 1.0.1 instead of master git	2016-12-22 00:51:06 +00:00
polytan02	f2ef0c2b69	add COPS sources	2016-12-21 17:48:44 +00:00