diff options
| author | Brian Paul <[email protected]> | 2005-08-23 00:45:54 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 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 45efc810edc..d85ce14eaf7 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 |