Changes between Initial Version and Version 1 of Ticket #26856, comment 15
- Timestamp:
- 12/14/18 11:10:02 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #26856, comment 15
initial v1 1 OK, I' d make outdefault GAP, without `gap_packages` installed, to be the same as vanilla GAP 4.10, which is, package-wise, as follows:1 OK, I'll make our default GAP, without `gap_packages` installed, to be the same as vanilla GAP 4.10, which is, package-wise, as follows: 2 2 {{{ 3 3 $ ./gap