comparison contrib/check-code.py @ 37908:8808d5d401ee

templates: split getgraphnode() body into two functions getgraphnodecurrent() is checking if the node is currently checked out and getgraphnodesymbol() is checking properties that have more to do with the stored data and the DAG.
author Anton Shestakov <av6@dwimlabs.net>
date Tue, 08 May 2018 17:54:57 +0800
parents 8fb9985382be
children 882ef6949bdc
comparison
equal deleted inserted replaced
37907:3b3d818bde8b 37908:8808d5d401ee