Merge branch 'master' into dev

yebai · web-flow · commit cebad20eb9e4 · 2020-08-24T13:40:08.000+01:00
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,5 @@
 name = "DynamicPPL"
 uuid = "366bfd00-2699-11ea-058f-f148b4cae6d8"
-authors = ["mohamed82008 <mohamed82008@gmail.com>"]
 version = "0.9.0"
 
 [deps]

-Original file line number
+Diff line change
@@ @@ -1,6 +1,5 @@ @@
 name = "DynamicPPL"
 uuid = "366bfd00-2699-11ea-058f-f148b4cae6d8"
 -authors = ["mohamed82008 <[email protected]>"]
 version = "0.9.0"
 [deps]