config_file.c
33.8 KB
-
config: keep a list of included files · 19be0692When refreshing we need to refresh if any of the files have been touched, so we need to keep the list.
Carlos Martín Nieto committed
When refreshing we need to refresh if any of the files have been touched, so we need to keep the list.