Rodney c6194c2368 Merge pull request #2699 from martinvanzijl/issue-1436-fix-magnet-tool-size-hotkeys ... Fix for changing size of the magnet tool using hotkeys (#1436)		2019-08-22 12:06:56 -05:00
..
cmake	Remove Version Numbers from File Names (#2410)	2018-12-28 11:15:09 +09:00
install	Remove Version Numbers from File Names (#2410)	2018-12-28 11:15:09 +09:00
sources	Merge pull request #2699 from martinvanzijl/issue-1436-fix-magnet-tool-size-hotkeys	2019-08-22 12:06:56 -05:00