Changes

Summary

enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes;

Changeset 77135:515b6aaede32 by wenzelm: enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes;
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala` (diff)