diff options
author | Stephane Glondu <steph@glondu.net> | 2012-03-27 07:54:24 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:52 +0200 |
commit | 62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9 (patch) | |
tree | 592fece2af88e69962319bf26a1fcc44918cebef /checker/check.ml | |
parent | b2e7bf847ea2669ec3231cfd62e8d77c901df363 (diff) |
Bump Standards-Version to 3.9.3
Diffstat (limited to 'checker/check.ml')
0 files changed, 0 insertions, 0 deletions