From 17224ed868816701ed72995c861d85eb390374f4 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Thu, 12 Aug 2021 10:11:10 +0000
Subject: [PATCH] Last files to format

---
 .gitignore |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/.gitignore b/.gitignore
index a4e12cc..359f692 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 **~
 \#*\#
 **.o
+docconv

--
Gitblit v1.10.0