Skip to content

Update History Manager GUI

Basic GUI Update for the History Manager, plus minimal string modifications.

Merge request reports