trim excess whitespace

2025-08-03 18:46:00 -04:00 · 2021-08-24 14:19:24 +00:00 · 2021-08-24 14:19:24 +00:00 · 7750cd1474
commit 7750cd1474
parent 0d3215a10b
3 changed files with 44 additions and 45 deletions
--- a/14
+++ b/14
@ -2,13 +2,13 @@ FROM ubuntu:18.04

 RUN apt-get update && \
    apt-get install -y --no-install-recommends \
-    	gcc \
-	less \
-    	libparted0-dev \
-    	libudev1 \
-	libudev-dev \
-	make \
-	udev
+        gcc \
+        less \
+        libparted0-dev \
+        libudev1 \
+        libudev-dev \
+        make \
+        udev

 COPY . /f3

--- a/doc/index.rst
+++ b/doc/index.rst
@ -22,4 +22,3 @@ Indices and tables
 * :ref:`genindex`
 * :ref:`modindex`
 * :ref:`search`
-