summaryrefslogtreecommitdiff
path: root/build.sh
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2014-11-21 12:27:34 +0100
committerAndreas Stöckel <andreas@somweyr.de>2014-11-21 12:27:34 +0100
commit1da7b31f13b00fdf4e572b5847750237f484b505 (patch)
treeb9778684924c0e1fe082cd773ff7830dc63560f1 /build.sh
parentd777bca65566bf15e9e2ed8b23f854fb974c902a (diff)
resolve now resolves lists of generic Managed objects and not nodes (this is needed as e.g. constants need to be resolved, which are TypeInstances but not Nodes)
Diffstat (limited to 'build.sh')
0 files changed, 0 insertions, 0 deletions