diff options
| author | alexwl <alexey.a.kiryushin@gmail.com> | 2019-08-03 19:59:18 +0300 |
|---|---|---|
| committer | alexwl <alexey.a.kiryushin@gmail.com> | 2019-08-03 19:59:18 +0300 |
| commit | 611368eb780d9a2d5d0476cd9e00da2f0b69a647 (patch) | |
| tree | d3850759d20f5a50e934d6c015ade5f9efd7321d /javascript/vendor/jquery-ui-1.12.1.custom | |
| parent | a8d0ab9c9a5cd1a72f52a5d05523e040acc7a0dc (diff) | |
Fail immediately when a GHC mismatch is detected. Closes #40.
Diffstat (limited to 'javascript/vendor/jquery-ui-1.12.1.custom')
0 files changed, 0 insertions, 0 deletions