mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 15:45:25 +02:00
fc3a24983c
Get rid of etools references. The tutorial still requires some work since it is hard to update from the code. All highlighting and anchor creation is done by hand, as are the differences from step to step.
41 lines
1.5 KiB
HTML
Executable file
41 lines
1.5 KiB
HTML
Executable file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
|
|
<html>
|
|
|
|
<head>
|
|
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
|
|
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
|
|
<meta name="copyright" content="Copyright (c) IBM Corporation and others 2002, 2006. This page is made available under license. For full details see the LEGAL in the documentation book that contains this page." >
|
|
<LINK REL="STYLESHEET" HREF="../../book.css" TYPE="text/css">
|
|
<title>rseSamplesResources Properties File After Editing</title>
|
|
</head>
|
|
|
|
<body>
|
|
<h1>rseSamplesResources Properties File After Editing</h1>
|
|
<pre><samp>
|
|
pp.size.label=Size
|
|
pp.size.tooltip=Cumulative size, in bytes
|
|
pp.files.label=Files
|
|
pp.files.tooltip=Cumulative number of files
|
|
pp.folders.label=Folders
|
|
pp.folders.tooltip=Cumulative number of folders
|
|
pp.stopButton.label=Stop
|
|
pp.stopButton.tooltip=Cancel the thread
|
|
|
|
property.type.teamfilter=Team filter
|
|
<b>property.type.devrfilter=Developer filter
|
|
|
|
filter.team.dlgtitle=Change Team Filter
|
|
filter.team.pagetitle=Team Filter
|
|
filter.team.pagetext=Create a new filter to list teams
|
|
|
|
filter.devr.dlgtitle=Change Developer Filter
|
|
filter.devr.pagetitle=Developer Filter
|
|
filter.devr.pagetext=Create a new filter to list developers
|
|
filter.devr.teamprompt.label=Parent team
|
|
filter.devr.teamprompt.tooltip=Specify the team within which to list developers
|
|
filter.devr.devrprompt.label=Developers
|
|
filter.devr.devrprompt.tooltip=Specify a simple or generic developer name pattern
|
|
</b>
|
|
</samp></pre>
|
|
</body>
|
|
</html>
|