☰

arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Mint 2020.08.11.. Lásd a legutóbbi verzió

Fejlesztő
toshohirasawa
Értékelések
0 0 0
Verzió
0.1
Létrehozva
2020.08.11.
Frissítve
2020.08.11.
Size
3 KB
Licensz
Ismeretlen
Érvényes