Opzione --nosplash di dia per usare make anche senza X
authorSimone Piccardi <piccardi@gnulinux.it>
Sat, 30 Nov 2002 14:09:30 +0000 (14:09 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Sat, 30 Nov 2002 14:09:30 +0000 (14:09 +0000)
commitd34e0d693aad24483caafaf540b162323dd0ba21
tree9447e37479479f3e53f6377f09561c92ab4202f8
parent8f0ff8d62835c0dc1be10ade261dba276959fc4a
Opzione --nosplash di dia per usare make anche senza X
ChangeLog
Makefile