b03978d1f7
This is a clumsy way of doing it (since it would be better to have a wrapper function append the timestamp), but that will be taken care of when the logging logic is all overhauled anyway. |
||
---|---|---|
.. | ||
exporters | ||
glossary | ||
terms | ||
grammar.py |