comparison Resources/EmbedResources.py @ 3845:281045a1e6db

new "info" field in "ReceivedInstanceFilter()" callback
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 16 Apr 2020 17:59:47 +0200
parents 94f4a18a79cc
children 100fbe970762
comparison
equal deleted inserted replaced
3844:c9c34bb50f0a 3845:281045a1e6db