diff options
| author | Dessalines <dessalines@users.noreply.github.com> | 2020-01-22 13:08:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-22 13:08:00 -0500 |
| commit | 9f499faa299cf68ab7c423efd12fd16f595e2ecf (patch) | |
| tree | 29f415deb7ffc72f316c6081ef868381e8b865a5 /ui | |
| parent | a964b4ce21cc19eb42ae4da1a1aef8bfc0a1df5c (diff) | |
| parent | 50056699ac441c45bc62a6a1d1a3a8f5049b87c3 (diff) | |
Merge pull request #452 from AndreVallestero/infernojs-url
Fixed infernojs url
Diffstat (limited to 'ui')
0 files changed, 0 insertions, 0 deletions