diff options
| author | fpi | 2022-06-02 19:22:17 +0200 |
|---|---|---|
| committer | fpi | 2022-06-02 19:23:00 +0200 |
| commit | d8a971ddb0c0dc3f0bc35cce7c9b01cce2a7bcef (patch) | |
| tree | 506911335e93b6b3c8b252dfd7e3deef45b2f29f /.gitignore | |
| parent | Add Latex settings (diff) | |
Fix shell block to ensure use of shtex
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions