# ---------------------------------------------------------------------------
# Developer-specific properties
#
# Modify this file to taste and save as user.properties
#
# $Id: user.properties.sample,v 1.2 2003/05/18 18:10:02 tim Exp $
# ---------------------------------------------------------------------------


# ----- Restrict to test cases matching this pattern -----
#testcase = PriorityQueue


# ----- Show build warnings (-warnunchecked) -----
#build.warnings = true