jengelh-datetimespielwiese
|
Last change
on this file since bc03ea6 was
bc03ea6,
checked in by Mohamed Barakat <mohamed.barakat@…>, 10 years ago
|
|
added script clone_autogen_generated_stuff.sh (for Hans)
|
-
Property mode set to
100755
|
|
File size:
221 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | [ -d libpolys ] || { echo "the subdirectory libpolys does not exist; this does not seem to be the directory the Singular root directory"; exit 1;} |
|---|
| 4 | |
|---|
| 5 | git clone git@github.com:Singular/AUTOGEN_generated_stuff.git |
|---|
Note: See
TracBrowser
for help on using the repository browser.
