equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"><html><head> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"><html><head> |
2 <title>Code Styles preferences</title> |
2 <title>Code Styles preferences</title> |
3 <link rel="StyleSheet" href="../../book.css" type="text/css"/> |
3 <link rel="StyleSheet" href="../../book.css" type="text/css"/> |
|
4 <script language="JavaScript" src="PLUGINS_ROOT/org.eclipse.help/livehelp.js"></script> |
4 </head> |
5 </head> |
5 <body> |
6 <body> |
6 <h2>Code Styles preferences</h2> |
7 <h2>Code Styles preferences</h2> |
7 |
8 |
8 |
9 |