From 6797b6b0472e87c1ef5edb84f81a16b73577f754 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 10 Jul 2021 21:12:37 +0200 Subject: Fix Makefiles slightly --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs b/docs index a596c0c..f85153b 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit a596c0c469d7c61b5ed8dfaf8805a926024a3a72 +Subproject commit f85153b7335ebf99ab6bf6e696b5a08fef38b61b -- cgit