fix warnings and output xml documentation#3

Open

smoothdeveloper wants to merge 1 commit intorspeele:masterfrom smoothdeveloper:fix-warnings-and-output-xml-doc

+11-10

Commits on May 22, 2021

adjust Ops.fs to clear the warnings and LicenseToCIL.fsproj to output the xml documentation
smoothdeveloper
committed