From cbf1a7b278886f33557fc509aa854b31c7aee88c Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 1 Jan 2022 23:55:10 +0100
Subject: [PATCH] manual: Add empty Graph properties.

---
 manual.scrbl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/manual.scrbl b/manual.scrbl
index 7411d0e..6cb38f8 100644
--- a/manual.scrbl
+++ b/manual.scrbl
@@ -117,6 +117,10 @@ matrix graphs.
 
 }
 
+@subsection{Graph Properties}
+
+Graph properties are not supported.
+
 @section{License}
 
 Like the generic graph library, this library is licensed under the Apache