Matthias Kuhn eab76e85c7
Merge pull request #6335 from Fanevanjanahary/crs_widget
use crs widget picker in db_manager
2018-04-18 12:12:26 +02:00
..
2017-07-24 11:36:38 +02:00
2017-10-29 10:46:54 -05:00
2018-02-18 20:53:40 +01:00
2018-04-02 22:48:40 +02:00