diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-08-14 20:26:09 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-08-14 20:26:09 +0100 |
| commit | 6b00a11733a8ae02c11e57a75265abd2dc77ecb0 (patch) | |
| tree | 68ea86252d22e06c744d779770a3557000abbad6 /resources/html/Ocean.std-theme | |
| parent | 574d3c13ff139e120e6a2601ea6cec676ab8ba16 (diff) | |
Revert "Replace local `die` by new `System.Exit.die`"
This reverts commit 08aa509ebac58bfb202ea79c7c41291ec280a1c5.
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions