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 399fa3343b more verbose log output

2017-07-24 14:20:33 +02:00

..

hooks

more verbose log output

2017-07-24 14:20:33 +02:00

scripts

fix some logic and regex bugs and add 'draft' to list of ignored tags

2017-07-12 15:30:01 +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