Fix development set

This commit is contained in:
Your Name 2016-10-20 23:37:16 +02:00
parent d92e388eb1
commit a3fea623bf

View File

@ -56,5 +56,5 @@
* dev-scala/sbt * dev-scala/sbt
# fstar # fstar
dev-lang/fstar * dev-lang/fstar
dev-lang/fsharp * dev-lang/fsharp