Commit 02a21618 authored by Gregor Michalicek's avatar Gregor Michalicek

Rename some machines to avoid too much typing when invoking the configure script

parent cb86dcf3
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment