distrib.h
Go to the documentation of this file.
1 #undef MAKE_DISTRIBUTION
Generated on Fri Oct 14 2016 22:41:33 by   doxygen 1.8.12 for Singular debian-4.0.3-p3+ds-2