diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-02-16 13:23:31 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-17 13:36:27 +0100 |
| commit | ee8f71101b80496b2ec2c996d29ac33bbaf7cf00 (patch) | |
| tree | a1a3a4ff49290bc0f99a026eabe8184934b4622e /.gitmodules | |
| parent | 2a3e2176ebf34975972df7b89dc24ff00fc8068d (diff) | |
| download | ocaml-ee8f71101b80496b2ec2c996d29ac33bbaf7cf00.tar.gz | |
clean up whitespace and cut long lines
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index 938e0dbed2..dca1e0d28f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "flexdll"] - path = flexdll - url = https://github.com/alainfrisch/flexdll.git + path = flexdll + url = https://github.com/alainfrisch/flexdll.git |