WPrefs: Moved content of 'double.h' into 'WPrefs.h'
commiteb14bca73b01613524e4809cae8062fa10513182
authorChristophe CURIS <christophe.curis@free.fr>
Sat, 11 May 2013 22:24:38 +0000 (12 00:24 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 12 May 2013 00:01:19 +0000 (12 01:01 +0100)
tree412b9e29ccc5da3be58808fb59e2cde226904e7f
parent5d03c455fc17238f339edaeb27ddbe3f4202bf01
WPrefs: Moved content of 'double.h' into 'WPrefs.h'

It is not a good idea to multiply the number of header files,
specially in this case where 'double.h' defined so few things
(and lacked the usual copyright notice / include guards).
WPrefs.app/Makefile.am
WPrefs.app/MouseSettings.c
WPrefs.app/WPrefs.h
WPrefs.app/double.c
WPrefs.app/double.h [deleted file]