method
about () =
GToolbox
.message_box
Rep_messages
.about
Rep_messages
.software_about