Miek Gieben ea10a0d2f6 Don't number the plugins (#1146) ...

* Don't number the plugins

The number is not needed, because the ordering is already specified.
It's also annoying when you move plugins, because you need to renumber
them. Remove this.

'go gen' shows no changes in the generated files, meaning this just
works.

* better naming

2017-10-16 10:49:18 +02:00

2.3 KiB

Raw Blame History

View Raw