blob: b2c3ca57cebcb4c7586dc5e9f1255abe0af44ba0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#
# This file contains configuration variables for drivers.
# It was generated by genhdrs.pl. Do not modify it.
#
package Driverhdrs;
$LAB = "datalab";
$SERVER_NAME = "cs2400.cs.colorado.edu";
$SERVER_PORT = 8081;
$COURSE_NAME = "csapp";
$AUTOGRADE_TIMEOUT = 0;
1;
|