Christophe CURIS eb14bca73b 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).

2013-05-12 01:01:19 +01:00

1.0 KiB

Raw Blame History

View Raw