diff options
Diffstat (limited to 'src/assets/writeup')
-rw-r--r-- | src/assets/writeup/brainfucked.md (renamed from src/assets/writeup/proof.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/assets/writeup/proof.md b/src/assets/writeup/brainfucked.md index 1f5eeda..1f5eeda 100644 --- a/src/assets/writeup/proof.md +++ b/src/assets/writeup/brainfucked.md |