Marc Zinnschlag 7be9f2ca45 Merged pull request #1891		2018-09-21 11:38:19 +02:00
..
doc	Do not use universal IDs for menu items	2018-09-13 22:15:59 +04:00
filter	purge the rest of boost::shared and any other boost related things that no longer are required	2017-06-09 19:08:53 +02:00
prefs	CS: Add rendering prefs and camera FOV	2017-12-07 23:48:34 +01:00
render	Use constants instead of widely used magic numbers (task #4645)	2018-09-17 19:22:50 +04:00
tools	Removed invalid / unused signal / slot connection	2018-07-05 17:21:32 +02:00
widget	Fixes #3681	2018-08-21 22:13:05 -05:00
world	Use C++ limits instead of C ones	2018-09-20 16:02:26 +04:00