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