Nikos Tsipinakis bae745b1fd Don't use ini_get_int to get doubles
option_get_double used ini_get_int to retrieve values from the config
file, changed it to use ini_get_double so that decimal accuracy isn't
lost.
2016-12-03 19:16:32 +02:00
..
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 12:15:39 +02:00
2016-11-19 12:15:39 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-19 11:54:03 +02:00
2016-11-22 17:55:28 +02:00
2016-11-22 17:55:28 +02:00
x.h
2016-11-19 11:54:03 +02:00