From 1769e63a8325c08f4cf9a37e7dce84e49aedd20e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Sun, 8 Dec 2024 21:02:36 +0100 Subject: [PATCH] git subrepo init --remote=https://github.com/voodoos/ppx_deriving_jsont --branch=ocmx vendor/ppx_deriving_jsont subrepo: subdir: "vendor/ppx_deriving_jsont" merged: "fc21dc0" upstream: origin: "https://github.com/voodoos/ppx_deriving_jsont" branch: "ocmx" commit: "none" git-subrepo: version: "0.4.9" origin: "https://github.com/ingydotnet/git-subrepo" commit: "ea10886" --- vendor/ppx_deriving_jsont/.gitrepo | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 vendor/ppx_deriving_jsont/.gitrepo diff --git a/vendor/ppx_deriving_jsont/.gitrepo b/vendor/ppx_deriving_jsont/.gitrepo new file mode 100644 index 0000000..db4567a --- /dev/null +++ b/vendor/ppx_deriving_jsont/.gitrepo @@ -0,0 +1,11 @@ +; 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/ingydotnet/git-subrepo#readme +; +[subrepo] + remote = https://github.com/voodoos/ppx_deriving_jsont + branch = ocmx + commit = + method = merge + cmdver = 0.4.9