author | wenzelm |
Sat, 11 Nov 2023 16:01:57 +0100 | |
changeset 78940 | 4cb67b3895b9 |
parent 78939 | 218929597048 |
child 78941 | bc7b7357f4bc |
--- a/src/Pure/System/registry.scala Sat Nov 11 13:31:14 2023 +0100 +++ b/src/Pure/System/registry.scala Sat Nov 11 16:01:57 2023 +0100 @@ -14,4 +14,6 @@ lazy val global: Registry = new Registry(TOML.parse_files(files())) } -class Registry private(val toml: TOML.Table) \ No newline at end of file +class Registry private(val toml: TOML.Table) { + override def toString: String = TOML.Format(toml) +}