export {IdaiDocumentsModule} from './src/app/documents/idai-documents.module';
export {DocumentEditChangeMonitor} from './src/app/documents/docedit/document-edit-change-monitor';