import { UndoRedo } from '@tiptap/extensions';
export { UndoRedo as History, UndoRedoOptions as HistoryOptions, UndoRedo as default } from '@tiptap/extensions';