Searched refs:dist (Results 26 – 39 of 39) sorted by last modified time
12
5 Note: All example files are delivered with the ".dist" extensions to make7 Just remove the ".dist" extension to use them.
8 * You may want to rename this file from "tabs.php.dist" to "tabs.php"12 * Note: All example files are delivered with the ".dist" extensions to make14 * Just remove the ".dist" extension to use them.
13 * from "tracker.php.dist" to "tracker.php" to get a good starting point. Just16 * Note: All example files are delivered with the ".dist" extensions to make18 * Just remove the ".dist" extension to use them.
8 * You may want to rename this file from "boxes.php.dist" to "boxes.php"12 * Note: All example files are delivered with the ".dist" extensions to make14 * Just remove the ".dist" extension to use them.
8 * You may want to rename this file from "buttons.php.dist" to "buttons.php"12 * Note: All example files are delivered with the ".dist" extensions to make14 * Just remove the ".dist" extension to use them.
5 Note: All example files are delivered with the ".dist" extensions to make7 Just remove the ".dist" extension to use them.12 "user.js.dist" to "user.js"
37 The are delivered with the ".dist" extensions. Just remove the38 ".dist" extension to use them.58 can rename the "screen.css.dist" to "screen.css" as starting point.60 can rename the "print.css.dist" to "print.css" as starting point.62 like Hebrew. You can rename the "rtl.css.dist" to "rtl.css" as71 can rename the "user.js.dist" to "user.js" as starting point (it contains87 the "tabs.php.dist" to "tabs.php" as a good starting point (it contains95 "buttons.php.dist" to "buttons.php" as a good starting point (it contains102 "vector/user/boxes.php" file. You can rename the "boxes.php.dist" to111 create a "vector/user/tracker.php.dist". You don't have to deliberate[all …]
30 $(DIST_DIR)/style.ini.dist115 dist: target
29 $(DIST_DIR)/style.ini.dist119 dist: target