../ Makefile.am,v 29-Aug-2018 13:37 4639 Makefile.in,v 29-Aug-2018 13:37 15286 vga.man,v 29-Aug-2018 13:37 4779