spielwiese
Last change
on this file since bc03ea6 was
bc03ea6,
checked in by Mohamed Barakat <mohamed.barakat@…>, 11 years ago
|
added script clone_autogen_generated_stuff.sh (for Hans)
|
-
Property mode set to
100755
|
File size:
221 bytes
|
Rev | Line | |
---|
[bc03ea6] | 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.