Merge pull request #253 from AlexisBRENON/master

Add more names
This commit is contained in:
Steve J Donovan 2016-12-19 11:45:16 +02:00 committed by GitHub
commit f91c3182cf
1 changed files with 5 additions and 2 deletions

View File

@ -409,6 +409,10 @@ function File:finish()
-- must be a free-standing function (sometimes a problem...)
end
end
item.names_hierarchy = require('pl.utils').split(
item.name,
'[.:]'
)
end
end
@ -1355,4 +1359,3 @@ function doc.filter_objects_through_function(filter, module_list)
end
return doc