diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-05 13:22:05 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-05 13:22:05 +0100 |
commit | 077b5f6c2c06bb2c0af525ee25f87e0db719f9d2 (patch) | |
tree | 97f6a6564fff17db7a95a2dcebf914222e14df53 /modules/gridmap/grid_map_editor_plugin.h | |
parent | 2cf7f533ee6fa32db7afbdfeebf8095ef70bf1b8 (diff) |
Bump version to 3.2-beta
Release freeze is now active, only major bug fixes will be considered.
Diffstat (limited to 'modules/gridmap/grid_map_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions