diff options
| author | Brian <brian.paul@tungstengraphics.com> | 2007-09-27 10:30:13 -0600 |
|---|---|---|
| committer | Brian <brian.paul@tungstengraphics.com> | 2007-09-27 10:30:13 -0600 |
| commit | 029bb17770fa08312f0dac8a4e823faaadfc02f1 (patch) | |
| tree | b21457ca512a5b2167dc2d0019b3883562cd7811 /configs | |
| parent | 7958bee6bef9d54e527196679140d0562311e2dd (diff) | |
bump versions to 7.0.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 81f0338b27..275b060ec9 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 MESA_MINOR=0 -MESA_TINY=1 +MESA_TINY=2 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |