|
|
0afb2aee43
|
add attachment and flagged tag back to hidden_tags until astroid's PR #336 is finished
|
2017-07-24 17:07:50 +02:00 |
|
|
|
317a0898d6
|
remove special tags because they have been replaced by icons in #336
|
2017-05-18 12:41:26 +02:00 |
|
|
|
9e4f99145f
|
move astroid config to separate folder
|
2017-04-13 12:54:32 +02:00 |
|
