From 81345669887b53c63d0d6a50721e640197d90c66 Mon Sep 17 00:00:00 2001
From: Alex Macleod <alex@macleod.io>
Date: Sun, 23 Oct 2022 20:32:40 +0000
Subject: Remove `src/docs`

---
 src/docs/float_arithmetic.txt | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 src/docs/float_arithmetic.txt

(limited to 'src/docs/float_arithmetic.txt')

diff --git a/src/docs/float_arithmetic.txt b/src/docs/float_arithmetic.txt
deleted file mode 100644
index 1f9bce5abd5..00000000000
--- a/src/docs/float_arithmetic.txt
+++ /dev/null
@@ -1,11 +0,0 @@
-### What it does
-Checks for float arithmetic.
-
-### Why is this bad?
-For some embedded systems or kernel development, it
-can be useful to rule out floating-point numbers.
-
-### Example
-```
-a + 1.0;
-```
\ No newline at end of file
-- 
cgit 1.4.1-3-g733a5