Revision 4670ff1d
ref #7834 avoiding NPE in case of names which are not in the graph
Files
- added
- modified
- copied
- renamed
- deleted
ID | 4670ff1d6f22f96c4bca2e5a7773412681eba814 |
Parent | 72937d27 |
Child | bd3e9107, 876970d9 |
Added by Andreas Kohlbecker over 2 years ago
ref #7834 avoiding NPE in case of names which are not in the graph