diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2024-05-15 20:02:21 +0200 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2024-05-17 21:46:11 +0200 |
| commit | e430972e8596710db4c566d84cf3248b12beef5f (patch) | |
| tree | 4c966cdb4f0fd1b2cc299e13b357c2c07034a2ab /annual/2024/motions/drop.sed | |
| parent | 547615de58b7013381cb44e920ddcb0168b32375 (diff) | |
Annual 2024. Add Makefile for motions
Diffstat (limited to 'annual/2024/motions/drop.sed')
| -rw-r--r-- | annual/2024/motions/drop.sed | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/annual/2024/motions/drop.sed b/annual/2024/motions/drop.sed new file mode 100644 index 0000000..b4c87bb --- /dev/null +++ b/annual/2024/motions/drop.sed @@ -0,0 +1,4 @@ + +s/^.*DROP.*$/`{\\color{red!50!black}`{=latex}/ +s/^.*ADD.*$/`{\\color{green!33!black}`{=latex}/ +s/^.*END.*$/`}`{=latex}/ |