diff options
| author | Brian Paul <[email protected]> | 2006-09-21 23:02:21 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2006-09-21 23:02:21 +0000 |
| commit | 4af404038c43d05de4d8a640cd54461c5df21db5 (patch) | |
| tree | ba42c026a1590543667bbca968b1af040de3857c /configs | |
| parent | 76785cb70af51c99fd74d897faa2771d2e2702f5 (diff) | |
bump version to 6.5.2
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 23d7aedfbf5..8431fff0b8c 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 MESA_MINOR=5 -MESA_TINY=1 +MESA_TINY=2 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |