Commit 19be0692b40f7ba8583ea96b1d0f382e45c13071

Carlos Martín Nieto 2013-09-06T20:34:02

config: keep a list of included files When refreshing we need to refresh if any of the files have been touched, so we need to keep the list.