Revision 81c87d1c8cf87dfba02d4e4c3e0a8852242aae05

Committed on 26/04/2016 2:05 am by xinyuexrow <wang@xrow.de> [GitHub Diff]

remove "Selection" datatype