diff options
Diffstat (limited to 'scripts/tex.py')
| -rw-r--r-- | scripts/tex.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/tex.py b/scripts/tex.py index 2509a87..59c6895 100644 --- a/scripts/tex.py +++ b/scripts/tex.py @@ -47,6 +47,3 @@ def esc(plain): def tabrule(*cells): return "&".join(cells) + "\\\\" -def label2ref(*labels): - return ",".join(["req:" + label.replace('.', ':') for label in labels]) - |