Nikita Popov 19dde1363e Treat special names correctly in getShortName()
Also change the API to accept a string rather than a FullyQualified
name instance, as this is not appropriate for symbols like "self".
2017-06-13 19:51:22 +02:00
..
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-06-03 15:18:44 +02:00
2017-04-27 18:14:07 +02:00
2017-04-27 18:14:07 +02:00
2017-06-03 15:18:23 +02:00
2017-04-28 21:40:59 +02:00