From 2a50d780f93957223da9494c61bb3181ffa7ff65 Mon Sep 17 00:00:00 2001
From: GiteaBot <teabot@gitea.io>
Date: Mon, 29 Jan 2024 00:24:21 +0000
Subject: [PATCH] [skip ci] Updated licenses and gitignores

---
 options/license/fmt-exception | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 options/license/fmt-exception

diff --git a/options/license/fmt-exception b/options/license/fmt-exception
new file mode 100644
index 0000000000..6036f7d360
--- /dev/null
+++ b/options/license/fmt-exception
@@ -0,0 +1,6 @@
+--- Optional exception to the license ---
+
+As an exception, if, as a result of your compiling your source code, portions
+of this Software are embedded into a machine-executable object form of such
+source code, you may redistribute such embedded portions in such object form
+without including the above copyright and permission notices.