diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-04-01 14:32:36 +0300 |
---|---|---|
committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-04-07 20:25:54 +0300 |
commit | 24208496649a02d5f87373052c430ea4a97842c5 (patch) | |
tree | 0e5d56ca0dd8d51248d065ba05ef9966ebb3069f /resources/html/Ocean.std-theme/synopsis.png | |
parent | d504cd50d8b660c207573864890392f02a48ca54 (diff) |
HsToken ConDeclGADT con_dcolon
Diffstat (limited to 'resources/html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions