Skip to content
Snippets Groups Projects

0.11

Merged Rajmund Hruška requested to merge devel into master

Files

+ 2
2
@@ -1413,13 +1413,13 @@ if __name__ == "__main__":
argparser.add_argument('--group', help = 'pick a group of widgets', choices = widget_groups, default='all')
args = argparser.parse_args()
print("""
print(r"""
==============================================
_____ _ _
| __ \ | | | |
| |__) |_ _ __| | __ _ ___ | |_ ___
| ___/| | | | / _` | / _` | / _ \| __|/ __|
| | | |_| || (_| || (_| || __/| |_ \__ \\
| | | |_| || (_| || (_| || __/| |_ \__ \
|_| \__, | \__,_| \__, | \___| \__||___/
__/ | __/ |
|___/ |___/
Loading