Made the comments in the my_thdl_preferences.txt file more useful.
This commit is contained in:
parent
c67ddb2d6c
commit
0f3c4174b6
1 changed files with 2 additions and 1 deletions
|
@ -407,7 +407,8 @@ public class ThdlOptions {
|
|||
userProperties.store(new FileOutputStream(getUserPreferencesPath()),
|
||||
" This file was automatically created by a THDL tool.\n"
|
||||
+ "# You may edit this file, but it will be recreated,\n"
|
||||
+ "# so your comments will be lost.\n"
|
||||
+ "# so your comments will be lost. Moreover, you must\n"
|
||||
+ "# edit this file only after exiting all THDL tools.\n"
|
||||
+ "# \n"
|
||||
+ "# To understand this file's contents, please see\n"
|
||||
+ "# options.txt in the JAR file.\n"
|
||||
|
|
Loading…
Reference in a new issue