diff options
| author | Pierre-Marie Pédrot | 2015-11-15 15:19:05 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-11-15 15:28:58 +0100 |
| commit | 3b2c4cb7f53ff664b72e21ca9a653f244624833e (patch) | |
| tree | e3750783d4051500e328da7a4173fb37f0205be0 /kernel/declareops.mli | |
| parent | 7e7749ed22c328e041eb8ab59df5b6d32f777653 (diff) | |
Displaying the object identifier in votour.
Diffstat (limited to 'kernel/declareops.mli')
0 files changed, 0 insertions, 0 deletions