From 36334b6705c2f8379666b4e6d5edafd4639974da Mon Sep 17 00:00:00 2001 From: thing 1 Date: Sat, 7 Dec 2024 12:57:38 +0000 Subject: made a couple minor changes --- writeup/pretty.sh | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 writeup/pretty.sh (limited to 'writeup/pretty.sh') diff --git a/writeup/pretty.sh b/writeup/pretty.sh deleted file mode 100755 index 797957c..0000000 --- a/writeup/pretty.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -fmt writeup.tex -w 120 > tmp -mv tmp writeup.tex -- cgit v1.2.3