Actualizar lanzadores en PícarOS - Tutorial 20

Tres tutoriales (uno tras otro) sobre lanzadores: el primero explica cómo actualizar los lanzadores, el segundo cómo ocultar o mostrar lanzadores y el tercero cómo modificar cualquier cosa relacionada con lanzadores.