facets :
gitfan
Generated on Sat Aug 11 2018 18:04:25 by
doxygen 1.8.14
for
Singular UNKNOWN_GIT_VERSION