merge Dev into Current

pansen

2018-12-19 753128ce82ff3ce8c9617768b88378f785a6088b

1
2
3
4
5
6
7
8
9
10
# Generated by slice2py - DO NOT EDIT!
#
 
import Ice
Ice.updateModule("Basic")
 
# Modules:
import StructureApp_ice
 
# Submodules: