Plugin-HoleFilling merge requestshttps://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-HoleFilling/-/merge_requests2022-11-25T15:10:39Zhttps://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-HoleFilling/-/merge_requests/3minor change for addition of icons in view mode window2022-11-25T15:10:39ZEdwin Özdemirminor change for addition of icons in view mode windowJan Möbiusmoebius@cs.rwth-aachen.deJan Möbiusmoebius@cs.rwth-aachen.de