diff options
author | Olivier Gayot <olivier.gayot@sigexec.com> | 2021-04-05 22:24:05 +0200 |
---|---|---|
committer | Olivier Gayot <olivier.gayot@sigexec.com> | 2021-04-05 22:24:05 +0200 |
commit | e08435e50f08aed4984620773cd62af777c49e43 (patch) | |
tree | 07ee9df8bc45efc2209e70e5de77ebd7ea20c1a3 /.gitignore | |
parent | 407efad8a536c3cf540177c5b6db6200f76b0f36 (diff) |
Replace use of xrightarrow which stopped building
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions