diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2020-11-23 15:43:18 +0100 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2020-11-23 15:43:18 +0100 |
commit | 423f3e06bbfbd44181a84208f3e000c69742c310 (patch) | |
tree | 0aa185c24d5bb29174b2341cc9ec8512ba4c93ec /preamble/attendants.sed | |
parent | e6661691aab2755b45d0ab56d138741c226e04ac (diff) | |
parent | 04996061842231770f05d5ad9690bd5e556eab85 (diff) |
Merge branch '2020-05-10-annual' into master
Diffstat (limited to 'preamble/attendants.sed')
-rw-r--r-- | preamble/attendants.sed | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/preamble/attendants.sed b/preamble/attendants.sed new file mode 100644 index 0000000..9cfd07a --- /dev/null +++ b/preamble/attendants.sed @@ -0,0 +1,11 @@ +s/LB/\\LB{}/g +s/GE/\\GE{}/g +s/GM/\\GM{}/g +s/LM/\\LM{}/g +s/ER/\\ER{}/g +s/AS/\\AS{}/g +s/AW/\\AW{}/g +s/OV/\\OV{}/g + +s/LJO/\\LJO{}/g +s/SRE/\\SRE{}/g |