| 1966 | */ |
| 1967 | public: |
| 1968 | Patches patch_deepCopy(const Patches &patches) const { return patches; } |
| 1969 | |
| 1970 | /** |
| 1971 | * Merge a set of patches onto the text. Return a patched text, as well |
nothing calls this directly
no outgoing calls
no test coverage detected