diff options
author | Brian Paul <brian.paul@tungstengraphics.com> | 2005-08-23 00:45:54 +0000 |
---|---|---|
committer | Brian Paul <brian.paul@tungstengraphics.com> | 2005-08-23 00:45:54 +0000 |
commit | 249160fdfab0cf2c15f486a6d1d1ac88d5d56d2e (patch) | |
tree | e0d40c2f6933f1e422f66370604f86b146f86a19 | |
parent | dfb6c56ed85d7b11b6e7e9b0a5ec7eddb1162510 (diff) |
update version to 6.5.0
-rw-r--r-- | configs/default | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configs/default b/configs/default index 45efc810ed..d85ce14eaf 100644 --- a/configs/default +++ b/configs/default @@ -7,8 +7,8 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 -MESA_MINOR=3 -MESA_TINY=2 +MESA_MINOR=5 +MESA_TINY=0 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |