PGcourse.pl

#
#  Do course-specific initialization here.
#  (E.g. loading source.pl to get "show source" buttons
#  for example courses, and so on).
#