diff options
| author | Théo Zimmermann | 2019-12-26 21:37:25 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-12-26 21:37:25 +0100 |
| commit | 4c19baf3a1b0ee9b1e94df4bca29c53125445db8 (patch) | |
| tree | cef55c2dcf99365867ed055375a75460e0cf7f74 /vernac | |
| parent | 7d1138657904e5fe8ce1899daa001972ba820545 (diff) | |
| parent | 4c9f7cf20f97921669bdec5df94b4f04b728a209 (diff) | |
Merge PR #11288: [omega] Remove non-documented "omega with *"
Reviewed-by: Zimmi48
Ack-by: maximedenes
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions