GuITeX/guidalineadicomando — pull request #1 by orlyfurious (2012-12-21 13:52:41+00:00)
Title: Un contributo

(i) Aggiunto un argomento nella sezione avanzata;
(ii) Modificata la figura del terminale (png -> pdf (da svg))