Menu

Commit [r737]  Maximize  Restore  History

Improved fix for ticket #525

"Improve the automatic indentation feature"

numere 2020-06-09

changed /trunk/gui/editor/editor.cpp
/trunk/gui/editor/editor.cpp Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB