This repository has been archived on 2023-01-25. You can view files and clone it. You cannot open issues or pull requests or push a commit.

mxmehl aea30418bf more advanced highlighting of problematic words

2017-04-23 22:22:52 +02:00

..

hooks

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

scripts

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

ui

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

.gitignore

extend ignored files

2017-04-22 22:29:12 +02:00

config

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

keybindings

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

keybindings.orig

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

poll.sh

move astroid config to separate folder

2017-04-13 12:54:32 +02:00

signature.txt

move astroid config to separate folder

2017-04-13 12:54:32 +02:00