Juergen Spitzmueller 0b2fae66e3 unicodesymbols: add general way to require a feature only for specific encodings
A feature can now be required only for specific input or font encodings:
- <feature>=enc1;enc2...  Require the feature <feature> only if the
                          character is used in one if the specified font
                          or input encodings.
- <feature>!=enc1;enc2... Require the feature <feature> only if the
                          character is used in a font or input encoding
                          that is not among the specified.
2018-04-28 13:31:29 +02:00
..
2018-04-22 23:56:17 -04:00
2018-04-27 10:54:38 +02:00
2018-04-27 20:13:58 -04:00
2018-04-22 19:06:46 +02:00
2018-04-18 16:20:19 +02:00
2018-02-21 12:05:40 +01:00
2018-03-18 11:34:50 -04:00
2018-04-22 19:06:46 +02:00
2018-04-22 19:06:46 +02:00
2018-04-18 14:36:49 +02:00
2018-03-09 15:17:23 +01:00