diff options
| author | Hugo Herbelin | 2016-04-26 06:06:17 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:49 +0200 |
| commit | 857dc0aaae30805725da213b6550dc1ff3a7adb2 (patch) | |
| tree | 2f083695ad7d49fff21a572fd4969a06d01fedcc /dev/db_printers.ml | |
| parent | 239f30c2070018db88e568acca6c9054f650ca38 (diff) | |
Fixing a mispelling coma -> comma.
Diffstat (limited to 'dev/db_printers.ml')
0 files changed, 0 insertions, 0 deletions