| #
e7fb36b7 |
|
19-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
ROOT files: file reorg for new ROOT requirements
Isabelle2020 requires each session to declare it own set of directories that
may not overlap with other session's directories. This commit reorganises
files to comply with that requirement.
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|