From 18da1df71e538cd98032937c542154f0efcb6fbb Mon Sep 17 00:00:00 2001 From: jwijenbergh Date: Mon, 1 May 2023 15:18:40 +0200 Subject: Docs: Move state machine to API --- docs/src/gettingstarted/building.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 docs/src/gettingstarted/building.md (limited to 'docs/src/gettingstarted/building.md') diff --git a/docs/src/gettingstarted/building.md b/docs/src/gettingstarted/building.md deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.3