diff options
author | Yuchen Pei <me@ypei.me> | 2021-08-12 11:02:26 +1000 |
---|---|---|
committer | Yuchen Pei <me@ypei.me> | 2021-08-12 11:02:26 +1000 |
commit | ee361633cbdbf97a6331aa7d9721a734b7bbe207 (patch) | |
tree | ea8e78d4f234fe5e1ad226c5a6f385ee39eb612e /doc/rt-liber.texinfo | |
parent | 5293fda690c04309bb4e48b6e8a5d8307ffeeff2 (diff) |
Factoring out the function that moves the point to a ticket section.
Diffstat (limited to 'doc/rt-liber.texinfo')
0 files changed, 0 insertions, 0 deletions