botanic 6627a1d7a8 margins in element-style...really?		2014-09-03 05:05:21 -07:00
..
docs	Die, don't exit	2014-09-03 07:06:43 +02:00
private_php	fix #185	2014-09-03 05:00:36 -07:00
public_php	margins in element-style...really?	2014-09-03 05:05:21 -07:00
todo_cfg	Merged in shubham_meena/ryzomcore (pull request #71)	2014-09-03 04:15:02 -07:00