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