replace # by // for comments
authorjeroendedauw <jeroendedauw@gmail.com>
Sun, 4 Nov 2012 18:17:04 +0000 (19:17 +0100)
committerjeroendedauw <jeroendedauw@gmail.com>
Sun, 4 Nov 2012 18:17:04 +0000 (19:17 +0100)
commit558de0edeae6a053c5d3d21c906d8308e6810e90
tree7f72caffeccc8d12e2b4ef0988405d677ddcfcc8
parent7bbd64ded360540b6a00a280df23377df2985167
replace # by // for comments

Change-Id: Ifd60bc086023a6cb06d9f5aff3ae857eed6ea4d7
includes/Html.php