Dmitriy Dumanskiy 91e7e3d8c9 Not used IntegerHolder class removed (#8747) ... Motivation: IntergerHolder was left from some old days and not used anymore. Modification: Remove IntergerHolder from the codebase. Result: Removed unused code		2019-01-22 11:25:08 +01:00
..
main	Not used IntegerHolder class removed (#8747)	2019-01-22 11:25:08 +01:00
test	fix typo (#8741)	2019-01-22 08:51:54 +01:00