aboutsummaryrefslogtreecommitdiff
path: root/resources/html/Ocean.std-theme/synopsis.png
diff options
context:
space:
mode:
authorThomas Winant <thomas.winant@cs.kuleuven.be>2014-08-06 10:26:54 +0200
committerAustin Seipp <aseipp@pobox.com>2014-11-28 16:11:22 -0600
commit1a9dcfef033dd66514015d4a942ba67d21f95482 (patch)
treef0b19c268f65dd8e84112c4f22a81c9680628789 /resources/html/Ocean.std-theme/synopsis.png
parent5d8117d8f1f910c85d36865d646b65510b23583d (diff)
Support for PartialTypeSignatures
Diffstat (limited to 'resources/html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions