Revision 371d4328984b98387835371ccfc67292ccf823ce

Committed on 04/09/2025 7:36 am by mikolaj <mikolaj.adamczyk@ez.no> [GitHub Diff]

Applied new naming convention