summaryrefslogtreecommitdiff
path: root/modules/gridmap/grid_map_editor_plugin.h
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2019-11-05 13:22:05 +0100
committerRémi Verschelde <rverschelde@gmail.com>2019-11-05 13:22:05 +0100
commit077b5f6c2c06bb2c0af525ee25f87e0db719f9d2 (patch)
tree97f6a6564fff17db7a95a2dcebf914222e14df53 /modules/gridmap/grid_map_editor_plugin.h
parent2cf7f533ee6fa32db7afbdfeebf8095ef70bf1b8 (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