summaryrefslogtreecommitdiff
path: root/pflocal
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-14 14:21:16 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-07 15:38:18 +0100
commit73624addcafebb767622cfd086ef7a7ebe67761b (patch)
tree7ce182d23d1f18c2bfea45d3509efddb43d4c8f4 /pflocal
parent45f735576a92bf50b431f28425e0b4b4a8da8ec6 (diff)
term: add a payload-aware intrans function
* term/mig-mutate.h: Add mutator.
Diffstat (limited to 'pflocal')
0 files changed, 0 insertions, 0 deletions