mirror of
https://github.com/chshersh/github-tui.git
synced 2024-10-27 03:19:17 +03:00
7 lines
82 B
Plaintext
7 lines
82 B
Plaintext
(executable
|
|
(public_name github_tui)
|
|
(name main)
|
|
(libraries
|
|
github_tui
|
|
))
|