From 9a5c9592f4dce60cecbefd926995fdd79d970071 Mon Sep 17 00:00:00 2001
From: Andre Richter <andre.o.richter@gmail.com>
Date: Sun, 29 Mar 2020 13:16:43 +0200
Subject: [PATCH] rename svg source file

---
 doc/{page_tables_64KiB.svg => 11_page_tables_64KiB.svg} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{page_tables_64KiB.svg => 11_page_tables_64KiB.svg} (100%)

diff --git a/doc/page_tables_64KiB.svg b/doc/11_page_tables_64KiB.svg
similarity index 100%
rename from doc/page_tables_64KiB.svg
rename to doc/11_page_tables_64KiB.svg