Exemple #1
0
 public FStarProjectFactory(FStarProjectPackage package)
     : base(package)
 {
     this.package = package;
 }
Exemple #2
0
 public FStarProjectFactory(FStarProjectPackage package)
     : base(package)
 {
     this.package = package;
 }