chshersh/github-tui
1
1
Fork 0
mirror of https://github.com/chshersh/github-tui.git synced 2024-11-20 11:11:11 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

WIP

Browse Source
This commit is contained in:
Dmitrii Kovanikov 2024-06-20 18:19:01 +01:00
parent 69aa9d6eba
commit a7ff3e67b7
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
github_tui.opam
View File

@ -37,6 +37,6 @@ build: [
] ]
dev-repo: "git+https://github.com/chshersh/github-tui.git" dev-repo: "git+https://github.com/chshersh/github-tui.git"
pin-depends: [ pin-depends: [
["minttea.dev" "git+https://github.com/leostera/minttea"] ["minttea.dev" "git+https://github.com/chshersh/minttea"]
["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"] ["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"]
] ]

2
github_tui.opam.template
View File

@ -1,4 +1,4 @@
pin-depends: [ pin-depends: [
["minttea.dev" "git+https://github.com/leostera/minttea"] ["minttea.dev" "git+https://github.com/chshersh/minttea"]
["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"] ["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"]
] ]