diff options.html @ 162:5a7e7ec136c8

Properly print session tags in the log. They are Strings and should not be formatted with %d.
author John "Elwin" Edwards
date Sat, 03 Jan 2015 20:07:42 -0500
parents 99fbc7c55b81
children
line wrap: on
line diff