Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Mon, 25 Nov 2019 12:19:14 +0100 |
wenzelm |
tuned -- avoid deprecated constructors;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 12:41:53 +0100 |
wenzelm |
more robust: enforce Unicode range;
|
file |
diff |
annotate
|
Fri, 23 Nov 2018 21:47:35 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
Fri, 23 Nov 2018 16:43:11 +0100 |
wenzelm |
clarified font_domain: strict excludes e.g. space character;
|
file |
diff |
annotate
|
Fri, 23 Nov 2018 16:30:12 +0100 |
wenzelm |
proper documentation;
|
file |
diff |
annotate
|
Thu, 22 Nov 2018 20:23:47 +0100 |
wenzelm |
tuned error;
|
file |
diff |
annotate
|
Thu, 22 Nov 2018 17:34:37 +0100 |
wenzelm |
support for fontforge and its scripting language;
|
file |
diff |
annotate
|