Changeset f2078e in git for make_tar.sh
- Timestamp:
- Nov 4, 2015, 5:18:01 PM (8 years ago)
- Branches:
- (u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
- 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.