Skip to content
Back to pull request #18523

CoqIDE: Improve find/replace UI (margins, icons) #9850

Sign in to view logs

CoqIDE: Improve find/replace UI (margins, icons)

CoqIDE: Improve find/replace UI (margins, icons) #9850

The logs for this run have expired and are no longer available.