diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-28 19:41:24 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-28 19:41:24 +0200 |
| commit | 830c9dd50dbbcdd8d30c8b7289668fcac820fb9a (patch) | |
| tree | 15fa2aacfa0002c286df595f011f8bb8008d842a /src/core/libs/lib-ui-interactive.sh | |
| parent | 3d1fdcf48e930ecb15a95313e4b4d39dc83295f7 (diff) | |
fixes for font/keymap substitutions
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions