From a433c9d7b17009fe184ac346679722c6f2181b83 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@cmu.edu>
Date: Tue, 2 Jan 2024 21:26:45 -0500
Subject: [PATCH] Rename

---
 examples/{verus-system-notes.txt => verus-system-notes.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename examples/{verus-system-notes.txt => verus-system-notes.md} (100%)

diff --git a/examples/verus-system-notes.txt b/examples/verus-system-notes.md
similarity index 100%
rename from examples/verus-system-notes.txt
rename to examples/verus-system-notes.md