github/api: move `html_url` to GithubEntity since it's shared by all of them
[nit.git] / lib / websocket /
drwxr-xr-x   ..
drwxr-xr-x - examples
-rw-r--r-- 7043 websocket.nit