diff options
author | Brian Paul <brian.paul@tungstengraphics.com> | 2005-07-21 18:46:49 +0000 |
---|---|---|
committer | Brian Paul <brian.paul@tungstengraphics.com> | 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 1f9a1f10b2..2735992787 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 |