- 17 Jun, 2013 1 commit
-
-
Michael Shigorin authored
This feature should be more generally applicable indeed.
-
- 10 Jun, 2013 1 commit
-
-
Michael Shigorin authored
These have been proofread somewhat to correspond to the current state of affairs; a missing one was added for fonts feature.
-