| # about.mappings |
| # contains fill-ins for about.properties |
| # Note: this is only "filled in" when doing a WTP batch build, |
| # not when doing a dev. build from a workbench. |
| # If you want the "build id" to display some value in that case, |
| # you'd have to manually edit this file, to look like, say |
| # 0=20091223 |
| # in your local version. |
| # In the WTP batch build, @build@ is replaced with time stamp of current build |
| # which should match the time stamp on download page and zip files. |
| # java.io.Properties file (ISO 8859-1 with "\" escapes) |
| # This file does not need to be translated. |
| |
| 0=@build@ |