diff options
| author | Anton Khirnov <anton@khirnov.net> | 2018-07-03 12:04:04 +0200 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2018-07-03 12:05:18 +0200 |
| commit | f481763925753407cd43d4bc2b07f9131ba9e2a8 (patch) | |
| tree | 47032b35a105eb8f2abee8271509c0d29d4e4f51 /workspace.lua | |
| parent | b23c940c7e16481272baa4dbbd2fc8f75768f646 (diff) | |
rc: remove an unnecessary global pager table
Diffstat (limited to 'workspace.lua')
0 files changed, 0 insertions, 0 deletions