Changeset f2078e in git for make_tar.sh
- Timestamp:
- Nov 4, 2015, 5:18:01 PM (7 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 0f0b30424807920a7d41898347d8c9be845216e1
- Parents:
- 08fd464d5e4df1154e463c07e5e6ba3e86a18200
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
make_tar.sh
r08fd464 rf2078e 23 23 command rm -rf singular-$VERSION/omalloc/Misc 24 24 command rm -rf singular-$VERSION/Singular/LIB/surfex 25 command rm -rf singular-$VERSION/Singular/dyn_modules/*/test*sh26 25 command rm -rf singular-$VERSION/Singular/cnf2ideal.py 27 26 command rm -rf singular-$VERSION/kernel/old singular-$VERSION/kernel/sample
Note: See TracChangeset
for help on using the changeset viewer.