19 Nov
2018
19 Nov
'18
12:38 p.m.
On Mon, Nov 19, 2018 at 1:27 PM Glenio Cortes Himmen < glenio.himmen@gmail.com> wrote:
Whats is CDE?
https://en.wikipedia.org/wiki/Common_Desktop_Environment
Gianluca