| Mon, 03 Jun 2019 14:26:21 +0200 | wenzelm | clarified context: prefer abstract Variable.auto_fixes; | changeset | files |
| Mon, 03 Jun 2019 13:49:35 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 03 Jun 2019 13:28:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 03 Jun 2019 11:27:23 +0200 | wenzelm | redundant: default is false; | changeset | files |
| Sat, 01 Jun 2019 21:43:41 +0200 | wenzelm | tuned imports -- accommodate scala-2.13.0-RC3; | changeset | files |
| Sat, 01 Jun 2019 21:43:03 +0200 | wenzelm | tuned -- accommodate scala-2.13.0-RC3; | changeset | files |
| Sat, 01 Jun 2019 13:53:23 +0200 | wenzelm | merged | changeset | files |