diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-02-14 14:23:29 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-14 14:23:29 +0100 |
commit | 41893cb647fbdce87b40acd5763e837370d61ece (patch) | |
tree | 6badf5503ba4f2c2fdd7e8ffa0b5e5469eba4279 /plugins/omega | |
parent | ce7a851f21bd6e7c811bd3b7520019dabe609afc (diff) | |
parent | 8288e56bbf737cde9eb2e36c3d634a5acbb04b83 (diff) |
Merge PR #6742: Add CHANGES entry for #1047 (universe instance on Type notation)
Diffstat (limited to 'plugins/omega')
0 files changed, 0 insertions, 0 deletions