diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-29 17:30:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-29 17:30:13 +0100 |
commit | a85b80446ea7c7f669aadebf9af5e81b277107ce (patch) | |
tree | 2fed914fbae6e1eb8573af3dc2dc4dd1a05d8d1f /src/pl/edu/mimuw | |
parent | 23082aca8e8089474c5b2f7dfd5072dc68cc881a (diff) | |
parent | c22ce8646fa7482ba7016eafe5e902495bacf3d7 (diff) |
Merge pull request #135 from m-chrzan/scripts
Add demo setup scripts
Diffstat (limited to 'src/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions