Changeset 180d72 in git
- Timestamp:
- Feb 22, 2019, 10:25:19 AM (5 years ago)
- Branches:
- (u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
- Children:
- 17d338f3bed1addae0040cf6532f242e8fa28ee2
- Parents:
- c717a0d94de0f701587bc5adbfab65df74dd599a
- File:
-
- 1 edited
-
Singular/distrib.h (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Singular/distrib.h
rc717a0 r180d72 1 # define MAKE_DISTRIBUTION 11 #undef MAKE_DISTRIBUTION
Note: See TracChangeset
for help on using the changeset viewer.
