log tools/area_editor.py @ 698:020e73192fe2 default tip

age author description
Tue, 10 Sep 2019 16:55:43 +0200 Neil Muller fix
Tue, 10 Sep 2019 16:54:39 +0200 Neil Muller Add print_function import
Sat, 07 Sep 2013 22:39:30 +0200 Neil Muller Make hatches movable