From: Brian Demsky <bdemsky@uci.edu>
Date: Tue, 17 Dec 2019 06:41:16 +0000 (-0800)
Subject: Clean up comments
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=7228c60bf0fa159076601644688e9fbd752e3fe7;hp=7228c60bf0fa159076601644688e9fbd752e3fe7;p=jpf-core.git

Clean up comments
---