summaryrefslogtreecommitdiff
path: root/Source/Graph
diff options
context:
space:
mode:
authorGravatar stasiran <unknown>2014-01-13 17:23:16 -0800
committerGravatar stasiran <unknown>2014-01-13 17:23:16 -0800
commitdca5ebaacf57702e3270df74a2965e08d9a7d1cb (patch)
treeacdd78ec2d0bb52c9b172800b956fc91203db5b7 /Source/Graph
parent64f99060b72b3c56e33e9a1523e24dacf9830288 (diff)
Existential failure checker replaced with universal.
Diffstat (limited to 'Source/Graph')
0 files changed, 0 insertions, 0 deletions