Compare commits

..

No commits in common. "8d541a2175534ea7526faafaf73a3cd91b30f2f4" and "ff9df86de15c342dde9b08d1ae50c37508043e43" have entirely different histories.

3 changed files with 0 additions and 10 deletions

3
.gitmodules vendored
View file

@ -568,6 +568,3 @@
[submodule "doctave"] [submodule "doctave"]
path = doctave path = doctave
url = ssh://aur@aur.archlinux.org/doctave.git url = ssh://aur@aur.archlinux.org/doctave.git
[submodule "mani"]
path = mani
url = ssh://aur@aur.archlinux.org/mani.git

View file

@ -78,12 +78,6 @@ prefix = "r"
# github # github
[mani]
source = "github"
github = "alajmo/mani"
use_max_tag = true
prefix = "v"
[doctave] [doctave]
source = "github" source = "github"
github = "Doctave/doctave" github = "Doctave/doctave"

1
mani

@ -1 +0,0 @@
Subproject commit e58c88c772d2d46c8626fdab50b3e24ae7d663f1