tree 101e59ad4201535bf16e89fd7e63da434e6c465f
parent 2ee1d11972786bae7056daa69005ea5c8cad91aa
author Kilian Evang <noreply@texttheater.net> 1372761979 +0200
committer Kilian Evang <noreply@texttheater.net> 1372761979 +0200

attached String method to EditOperation type