summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAndrew Thompson <andrew@hijacked.us>2014-03-05 13:39:55 -0500
committerAndrew Thompson <andrew@hijacked.us>2014-03-05 13:39:55 -0500
commit62b006227cc1c71102ff8a608b3b11e77a06fced (patch)
tree63994d7dad6a762b94a702eff009c6cc51bc5371 /THANKS
parent6e24cd6ac7f8ba9b125c4898e29fa1e9a207f7d2 (diff)
parentb6908421b7a83a2c2972c3263f32d438c3dc3cec (diff)
Merge pull request #129 from tuncer/erlc-speedup-v5
Speed up the compilation process v5
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 95cc493..0b503d3 100644
--- a/THANKS
+++ b/THANKS
@@ -120,3 +120,4 @@ Pedram Nimreezi
Sylvain Benner
Oliver Ferrigni
Dave Thomas
+Evgeniy Khramtsov