diff options
| author | Clément Pit-Claudel | 2018-05-25 18:35:30 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-05-25 18:35:30 -0400 |
| commit | 80ff25b75839f792add3a66d9896d69f0065c6d8 (patch) | |
| tree | ae3f16cf4e3f63087ac006c00c63ae57c30917b5 /kernel/cbytecodes.mli | |
| parent | 8700cee13a137ec0a58f52dc7f75d017e6fbeb19 (diff) | |
[doc] Allow more than one signature and name per Sphinx object
As discussed in GH-7556.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions