diff options
| author | Brian Paul <[email protected]> | 2005-07-21 18:46:49 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2005-07-21 18:46:49 +0000 |
| commit | db251d72c84256267cd1f7c062071a7143455048 (patch) | |
| tree | 2be618041cdf02c378779af14488f9503284e45b /configs | |
| parent | 7a37189adc407af31f8c269e9beccc1464d65592 (diff) | |
bump version to 6.3.1
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/default | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/default b/configs/default index 1f9a1f10b29..27359927873 100644 --- a/configs/default +++ b/configs/default @@ -8,7 +8,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 MESA_MINOR=3 -MESA_TINY=0 +MESA_TINY=1 # external projects DRM_SOURCE_PATH=$(TOP)/../drm |