| Mode | Name | Size | |
|---|---|---|---|
| d--------- | jedi | 82 | logplain |
| d--------- | jsonrpc-server | 94 | logplain |
| d--------- | pyls | 85 | logplain |
| d--------- | python-prctl | 87 | logplain |
| d--------- | schema | 86 | logplain |
 |
index : gentoo-personal-overlay | |
| My personal gentoo overlay maintained in git | Gitolite user |
| summaryrefslogtreecommitdiff |
path: root/dev-python