diff options
author | Bardur Arantsson <bardur@scientician.net> | 2014-06-26 07:25:00 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2014-06-26 07:28:53 +0200 |
commit | ec23e119e24a32f4607dfdc0f43e8726febc4043 (patch) | |
tree | 34a13ebe1eb56cdc69a08df7a7b9ce879fd6e3e0 /src/q_thrain.cc | |
parent | 27b26f3940a589d8df800254b66de87f75b28758 (diff) |
Remove pointless Term_user
Diffstat (limited to 'src/q_thrain.cc')
0 files changed, 0 insertions, 0 deletions