diff options
| author | Emilio Jesus Gallego Arias | 2020-05-15 17:34:51 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-15 17:34:51 +0200 |
| commit | 215990f9f2a23d406e8e886c9824a56a120d8347 (patch) | |
| tree | f024ff6e5e64bde61e1aad354cc5cbc84183e68e /kernel/genOpcodeFiles.ml | |
| parent | a5c9ad83071c99110fed464a0b9a0f5e73f1be9b (diff) | |
| parent | 8208e5f7d99316d0549e5ef011c755bd722eb66c (diff) | |
Merge PR #11979: Add a rudimentary script to generate release changelog.
Ack-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions