index
:
fripost-meetings
ge/2015-09-28-board
ge/2016-06-14-board
ge/2017-01-23-board
ge/2017-05-13-annual
ge/2017-06-26-board
ge/2017-09-25-board
ge/2021-06-21-board
ge/2022-05-22-annual
ge/2022-10-27-board
ge/2023-02-23-board
ge/2023-06-11-annual
ge/2024-01-25-board
intgr/2016
intgr/2017
master
Fripost minute sources
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
preamble
/
snippets.sed
blob: 8d7f989f449e0f4fe6f1d6a895e5c00d49db4110 (
plain
)
1
2
s/→/$\\rightarrow{}$/g s/->/$\\rightarrow{}$/g
