diff linux/Makefile @ 5619:501ebd981377

updated -double option
author gabucino
date Sun, 14 Apr 2002 15:07:51 +0000
parents cbf0fed4d211
children b69ddd4d3bb9
line wrap: on
line diff