diff --git a/stubs/rdfdb/patchreceiver.pyi b/stubs/rdfdb/patchreceiver.pyi deleted file mode 100644 --- a/stubs/rdfdb/patchreceiver.pyi +++ /dev/null @@ -1,15 +0,0 @@ -# Stubs for rdfdb.patchreceiver (Python 3) -# -# NOTE: This dynamically typed stub was automatically generated by stubgen. - -from typing import Any - -log: Any - -class PatchReceiver: - rdfdbRoot: Any = ... - updateResource: Any = ... - def __init__(self, rdfdbRoot: Any, host: Any, label: Any, onPatch: Any) -> None: ... - -def makePatchEndpointPutMethod(cb: Any): ... -def makePatchEndpoint(cb: Any): ...