Programming Languages Research Group: Git

2013-04-21	Brett Simmers	Remove an unused variable in FormatValue<double>	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.