Remove properties that are no longer relevant or used.
authorJarl Gullberg <jarl.gullberg@gmail.com>
Fri, 15 Sep 2017 10:39:47 +0000 (12:39 +0200)
committerJarl Gullberg <jarl.gullberg@gmail.com>
Fri, 15 Sep 2017 10:39:47 +0000 (12:39 +0200)
commit6a40207b9fa230b0d212f81efb2e6e15e4aa4533
tree2012371f841c82e165f0fc75f8b0013b101b11ca
parent649cce05f7fdf5c4147c4f66dc8730da80b6cf64
Remove properties that are no longer relevant or used.
src/OpenTK.GLWidget/GLWidget.cs