1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 17:05:26 +02:00
cdt/doc
Jesse Weinstein 73fb3076a6 Bug 402071: Updating Search menu.
Various small fixes, including indentation, adding spaces between parts
of the keyboard shortcuts, and removing the screenshot, per mailing list
discussion.

Change-Id: I4162de2cb7135323c86227ac24a2a0e44b459db1
Reviewed-on: https://git.eclipse.org/r/11594
Reviewed-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
IP-Clean: Sergey Prigogin <eclipse.sprigogin@gmail.com>
Tested-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
2013-04-01 22:10:46 -04:00
..
org.eclipse.cdt.doc.isv Ignore doc.bin.log file 2013-02-01 14:53:30 -08:00
org.eclipse.cdt.doc.user Bug 402071: Updating Search menu. 2013-04-01 22:10:46 -04:00