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

Restructure the tui/ directory

Browse Source
This commit is contained in:
Dmitrii Kovanikov 2024-03-23 10:53:03 +00:00
parent a17832ec66
commit dfcca199c3
3 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/cli.ml
View File

@ -11,7 +11,7 @@ let path_arg =
& opt string "."
& info [ "d"; "directory" ] ~docv:"DIRECTORY_PATH" ~doc)
let gh_tui_t = Term.(const Tui.start $ repo_arg $ path_arg)
let gh_tui_t = Term.(const Tui.App.start $ repo_arg $ path_arg)
let cmd =
let doc = "TUI of a GitHub repository" in

2
lib/dune
View File

@ -1,4 +1,4 @@
(include_subdirs unqualified)
(include_subdirs qualified)
(library
(name github_tui)

0
lib/tui.ml → lib/tui/app.ml
View File