Changing file extensions
You need to change your user properties if you want to change the file extensions of your scripts.
About this task
Procedure
Change the file extension. Use any one of the following
methods:
Option | Description |
---|---|
Changing the file extensions that are used by the semantic checker |
|
Changing the file extensions that are used by the editor |
|
Changing the file extension that is used by the IBM Product Master Server Explorer view |
|