Add Tilde D: Decimal to FORMAT.
[jscl.git] / COPYING
2013-04-25 David VázquezMove source code under src/