src/server/webdav/objs.mk

branch
webdav
changeset 217
8ed14d76db42
parent 211
2160585200ac
child 224
0de1ec82628e
--- a/src/server/webdav/objs.mk	Mon Dec 30 16:33:20 2019 +0100
+++ b/src/server/webdav/objs.mk	Tue Dec 31 10:01:32 2019 +0100
@@ -32,6 +32,7 @@
 
 DAVOBJ = webdav.o
 DAVOBJ += requestparser.o
+DAVOBJ += operation.o
 DAVOBJ += multistatus.o
 DAVOBJ += search.o
 DAVOBJ += versioning.o

mercurial