diff options
-rw-r--r-- | .gitmodules | 2 | ||||
m--------- | flexdll | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index dca1e0d28f..67c9558a16 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "flexdll"] path = flexdll - url = https://github.com/alainfrisch/flexdll.git + url = https://github.com/ocaml/flexdll.git diff --git a/flexdll b/flexdll -Subproject 6b5da460f6b86eccbb72e31b591443bd8f471ea +Subproject ab8fbd41075d6fbbf74ce4c845cbea5a218b53f |