Browse Source

update devdocs drone

master
Nicolas Petton 3 years ago
parent
commit
15881ef3bc
Signed by: nico GPG Key ID: 233587A47C207910
2 changed files with 3 additions and 1 deletions
  1. +2
    -0
      .gitmodules
  2. +1
    -1
      lib/devdocs

+ 2
- 0
.gitmodules View File

@ -86,6 +86,8 @@
[submodule "devdocs"]
path = lib/devdocs
url = git@github.com:xuchunyang/devdocs.el.git
remote = "nico git@github.com:NicolasPetton/devdocs.el.git"
pushDefault = nico
[submodule "diff-hl"]
path = lib/diff-hl
url = git@github.com:dgutov/diff-hl.git


+ 1
- 1
lib/devdocs

@ -1 +1 @@
Subproject commit 1bff4bd406fc71199d9dcac503269f7aa8fcebe6
Subproject commit 776381b2602273a575bd9466383eee9c197a87a7

Loading…
Cancel
Save