From 82ecd61f5c699cf3af6c4eadf47a1c52b1d696c6 Mon Sep 17 00:00:00 2001
From: Aspen Smith <grfn@gws.fyi>
Date: Sun, 11 Feb 2024 22:00:40 -0500
Subject: chore(users): grfn -> aspen

Change-Id: I6c6847fac56f0a9a1a2209792e00a3aec5e672b9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10809
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
---
 users/grfn/achilles/ach/simple.ach | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 users/grfn/achilles/ach/simple.ach

(limited to 'users/grfn/achilles/ach/simple.ach')

diff --git a/users/grfn/achilles/ach/simple.ach b/users/grfn/achilles/ach/simple.ach
deleted file mode 100644
index 20f1677235c0..000000000000
--- a/users/grfn/achilles/ach/simple.ach
+++ /dev/null
@@ -1 +0,0 @@
-fn main = let x = 2; y = 3 in x + y
-- 
cgit 1.4.1