Markus Gans a41f8a611c Some protected data members in FTerm moved to private		2018-05-06 21:41:55 +02:00
..
final	Some protected data members in FTerm moved to private	2018-05-06 21:41:55 +02:00