summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--LEGAL2
1 files changed, 2 insertions, 0 deletions
diff --git a/LEGAL b/LEGAL
index bf44df1ddc40..1d8595480332 100644
--- a/LEGAL
+++ b/LEGAL
@@ -246,6 +246,8 @@ freqship/* sysutils/freqsdwn License agreement is required
fretsonfire/FretsOnFire-*-linux* games/fretsonfire-data Only Unreal Voodoo
site is allowed to distribute
the music
+fsharp/* lang/fsharp Microsoft Research Shared Source
+ License Agreement
ftree-* misc/ftree Cannot distribute commercially
fwtk/* security/fwtk No redistribution allowed
XFrisk-* games/xfrisk Copyright/trademark violation?