HomeGRNET

Rename box_version

Authored by hpanago on Feb 8 2018, 12:42 PM.

Description

Rename box_version

Details

Committed
hpanagoFeb 8 2018, 2:30 PM
Pushed
hpanagoFeb 8 2018, 2:30 PM
Parents
rPACKER8faab926adf0: Get stretch 9.3
Branches
Unknown
Tags
Unknown