diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:15:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:15:25 +0100 |
| commit | 49a96071161112d9c2c1e99d0d591275a825c992 (patch) | |
| tree | e158ae1bb08c3822a31b6b196d77ef82253d96a5 /env.mkiv | |
| parent | 4215c5e2a6259e459a70c1207b2cdacdb2231e36 (diff) | |
| download | pred-aware-ai-49a96071161112d9c2c1e99d0d591275a825c992.tar.gz pred-aware-ai-49a96071161112d9c2c1e99d0d591275a825c992.zip | |
Add a Makefile
Diffstat (limited to 'env.mkiv')
| -rw-r--r-- | env.mkiv | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -87,4 +87,10 @@ \setupvimtyping[OrgBlkSrcCoq][margin=5mm] +\setupregister[OrgConcept][ + style={\bfa\tt}, + color=darkcyan, + textstyle=tt, +] + \stopenvironment |