Allow passing Python timestamp function to undo manager#214

Merged

davidbrochart merged 1 commit intojupyter-server:mainfrom davidbrochart:timestamp

Jan 9, 2025

+31-6

Commits on Jan 9, 2025

Allow passing Python timestamp function to undo manager
davidbrochart
committed