diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-02 08:01:00 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-02 11:10:35 -0400 |
| commit | 4d5dec2389d8e6ce78b45d3058220888f4a93db7 (patch) | |
| tree | 2daa47ef3e9ac18f04b2cd8557942cdfe6949b91 /tools/compile-unifont.py | |
| parent | 718880ba0d557a045e2f969e141cbd59e78c76f4 (diff) | |
Rename user_runtime to user_runtime_dir
This makes this function name similar to user_config_home() and makes
it match the name of the environment variable.
Diffstat (limited to 'tools/compile-unifont.py')
0 files changed, 0 insertions, 0 deletions