facets :
gitfan
Generated on Sat Aug 11 2018 17:48:34 by
doxygen 1.8.14
for
Singular UNKNOWN_GIT_VERSION