diff options
| author | Determinant <[email protected]> | 2016-03-05 15:30:19 +0800 |
|---|---|---|
| committer | Determinant <[email protected]> | 2016-03-05 15:30:19 +0800 |
| commit | 968d129f1a16cde537cb1bc6061e66510c6828e7 (patch) | |
| tree | 15c5d73c75c8c3da9c10dd7d59057bbaaf2e8363 /embedding_example/Makefile | |
| parent | 9cd8013b14aec72f6284ecb2f005b3845ed069a2 (diff) | |
switch submodule repos to mirrored ones
Diffstat (limited to 'embedding_example/Makefile')
0 files changed, 0 insertions, 0 deletions