diff options
| author | Pierre-Marie Pédrot | 2015-02-11 20:04:29 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-11 20:05:25 +0100 |
| commit | b8efac9f2cadbc0f700408fcb6f8187ef6527fd9 (patch) | |
| tree | f6e35e20a80aa628a60f7b80700aa50b307be03e /kernel/cemitcodes.ml | |
| parent | 34c7ef490d26e67ad1545dba65db7080744ffbe0 (diff) | |
Adding test for bug #3786.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions