Eyck Jentzsch aaf8a9e5d0 fixes bitvector conversion to hex number		2023-06-27 19:42:06 +02:00
..
com/minres/scviewer/database	fixes bitvector conversion to hex number	2023-06-27 19:42:06 +02:00