github: Rename `get_review_comment` in `get_pull_comment`
[nit.git] / lib / bucketed_game /
drwxr-xr-x   ..
-rw-r--r-- 6273 bucketed_game.nit
-rw-r--r-- 413 package.ini