diff options
| author | Matej Kosik | 2015-10-29 15:44:25 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:10 +0100 |
| commit | e31bc1fc036969454a5577758444b91174209b5c (patch) | |
| tree | 297147d53ac17a036c7154eb2fc8b98105351696 /dev/db_printers.ml | |
| parent | e13fed125d22e58e39487a3aa227416e1f2ba329 (diff) | |
TYPOGRAPHY: Each of the three 'Ax' and 'Prod' rules now has a unique name.
Diffstat (limited to 'dev/db_printers.ml')
0 files changed, 0 insertions, 0 deletions