diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2018-07-31 14:49:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-31 14:49:30 +0100 |
| commit | c8a628773fa5fe281acd2c701dd96a9824f22713 (patch) | |
| tree | cc73077803ab0d6d9c07190a26e0174cac8b398c /docs/source | |
| parent | 5d6cabba5428f9ddf4c4487ffc2668a6fb70cb17 (diff) | |
Added copy as alias of clone, use copy in algs (#131)
closes #126
Diffstat (limited to 'docs/source')
0 files changed, 0 insertions, 0 deletions