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 72e7544914 better tag selection and blacklists; some speedup

2017-05-30 16:59:02 +02:00

..

hooks

move astroid config to separate folder

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

scripts

better tag selection and blacklists; some speedup

2017-05-30 16:59:02 +02:00

ui

move astroid config to separate folder

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

.gitignore

update ignored files

2017-05-26 11:29:55 +02:00

config

remove special tags because they have been replaced by icons in #336

2017-05-18 12:41:26 +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

add debug messages to track recent astroid crashes

2017-05-10 20:41:00 +02:00

signature.txt

move astroid config to separate folder

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