diff options
Diffstat (limited to 'deps/mman/.gitrepo')
| -rw-r--r-- | deps/mman/.gitrepo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/deps/mman/.gitrepo b/deps/mman/.gitrepo new file mode 100644 index 0000000..7e6585b --- /dev/null +++ b/deps/mman/.gitrepo @@ -0,0 +1,12 @@ +; DO NOT EDIT (unless you know what you are doing) +; +; This subdirectory is a git "subrepo", and this file is maintained by the +; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme +; +[subrepo] + remote = https://github.com/witwall/mman-win32 + branch = master + commit = 2d1c576e62b99e85d99407e1a88794c6e44c3310 + parent = 19599a744a114b242c401d5ac1f0bcfc369453ee + method = merge + cmdver = 0.4.1 |