You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

12 lines
267 B

1 year ago
  1. #
  2. # This file contains configuration variables for drivers.
  3. # It was generated by genhdrs.pl. Do not modify it.
  4. #
  5. package Driverhdrs;
  6. $LAB = "datalab";
  7. $SERVER_NAME = "changeme.ics.cs.cmu.edu";
  8. $SERVER_PORT = 8081;
  9. $COURSE_NAME = "csapp";
  10. $AUTOGRADE_TIMEOUT = 0;
  11. 1;