Christian Beer aae29934d3 Drupal: delete source_* tags in preferences when updating ... This information is added by the Client when propagating the preferences between projects. When setting new preferences the old information needs to be deleted. I confirmed that this is the correct behaviour in the non-drupal BOINC code.		2016-08-31 15:42:44 +02:00
..
sites	Drupal: delete source_* tags in preferences when updating	2016-08-31 15:42:44 +02:00
.gitignore	…