Reorder options
commit6afe4d46c9cbd50180fccfd3ca512a09bb8b4dd8
authorMark Abraham <mark.j.abraham@gmail.com>
Tue, 2 Jul 2019 21:39:11 +0000 (2 23:39 +0200)
committerChristian Blau <cblau@gwdg.de>
Wed, 3 Jul 2019 09:21:54 +0000 (3 11:21 +0200)
tree2a10a51a637e2d770bbc9b6fca6d8089b47f885b
parentfb7a59cdb1ca5201bf02b66382810e31f27f562e
Reorder options

If these are in alphabetical order, inserting new ones is less likely
to clash than if we always insert at the end of the list.

Change-Id: I3262959dc02deeaa628874028b10b9948f177842
admin/builds/gromacs.py