GitHub repository: polyluxus/rwth-tools
Primary language: Shell
Created: 2019-01-08T20:55:09Z
Description: A tiny collection of scripts which might be helpful operating on the RWTH cluster.