From 9275bcb39b5ee25753ef489d334b4906401970b3 Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Mon, 14 Nov 2022 21:47:45 +0100
Subject: Update online docs

---
 docs/dev/reference/HS.solution-1.png | Bin 29354 -> 29376 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'docs/dev/reference/HS.solution-1.png')

diff --git a/docs/dev/reference/HS.solution-1.png b/docs/dev/reference/HS.solution-1.png
index 32d04b2d..dd7a76c8 100644
Binary files a/docs/dev/reference/HS.solution-1.png and b/docs/dev/reference/HS.solution-1.png differ
-- 
cgit v1.2.3