Update terminal.php

This commit is contained in:
javierybar 2020-03-02 22:51:06 +01:00 committed by GitHub
parent 4aced13dbf
commit 8776880a12
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23