diff options
| author | Patrick Simianer <p@simianer.de> | 2015-07-22 18:09:40 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-07-22 18:09:40 +0200 |
| commit | 084f652eb431aafd36d0ea64dcd37d4eac7cd393 (patch) | |
| tree | 6ff7fad71953cca9a80dd78a9d152a9c190a2db4 /derivation_to_json/deriv.rb | |
| parent | 4bd8892ce05f544faceaa8e99cf84e04e032eef6 (diff) | |
ui fixes
Diffstat (limited to 'derivation_to_json/deriv.rb')
0 files changed, 0 insertions, 0 deletions