diff options
| author | Preston Pan <ret2pop@nullring.xyz> | 2026-03-23 17:50:48 -0700 |
|---|---|---|
| committer | Preston Pan <ret2pop@nullring.xyz> | 2026-03-23 17:50:48 -0700 |
| commit | 42656b6d8e9d433ee9a032605755679157980365 (patch) | |
| tree | 647b4b9502d71de99c60642ced4c9ba28f3178a8 /yasnippet/org-mode/proof | |
| parent | c6e080febf220578cc6745078f4278d7e9f32d62 (diff) | |
| parent | bf3ca86247b6e193ff39bb14e21d46db43689ee2 (diff) | |
lol
Diffstat (limited to 'yasnippet/org-mode/proof')
| -rw-r--r-- | yasnippet/org-mode/proof | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/yasnippet/org-mode/proof b/yasnippet/org-mode/proof new file mode 100644 index 0000000..6affa55 --- /dev/null +++ b/yasnippet/org-mode/proof @@ -0,0 +1,7 @@ +# -*- mode: snippet -*- +# name: proof +# key: proof +# -- +#+begin_proof + $0 +#+end_proof
\ No newline at end of file |