diff --git a/options/license/fmt-exception b/options/license/fmt-exception new file mode 100644 index 0000000000000..6036f7d360a53 --- /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.