Lines Matching full:dist

71             The are delivered with the ".dist" extensions. Just remove the
72             ".dist" extension to use them.
92           can rename the "screen.css.dist" to "screen.css" as starting point.
94           can rename the "print.css.dist" to "print.css" as starting point.
96           like Hebrew. You can rename the "rtl.css.dist" to "rtl.css" as
105       can rename the "user.js.dist" to "user.js" as starting point (it contains
121       the "tabs.php.dist" to "tabs.php" as a good starting point (it contains
129       "buttons.php.dist" to "buttons.php" as a good starting point (it contains
136       "vector/user/boxes.php" file. You can rename the "boxes.php.dist" to
145       create a "vector/user/tracker.php.dist". You don't have to deliberate
147       rename the "tracker.php.dist" to "tracker.php" as a good starting point