diff options
| author | Brian <brian.paul@tungstengraphics.com> | 2007-07-03 10:04:41 -0600 |
|---|---|---|
| committer | Brian <brian.paul@tungstengraphics.com> | 2007-07-03 10:04:41 -0600 |
| commit | 1d25d9e15f1147d1ba38a807c9ce2294d93478fd (patch) | |
| tree | 51a58fa32e7585aa6060496a1ebfe1f18d5c5d4f /configs | |
| parent | cc7cee3f4840ca9bb3f8b812ab2888cf5bb80b03 (diff) | |
Bump version to 7.0.1
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/default | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configs/default b/configs/default index a7de3f813d..81f0338b27 100644 --- a/configs/default +++ b/configs/default @@ -9,8 +9,8 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 -MESA_MINOR=1 -MESA_TINY=0 +MESA_MINOR=0 +MESA_TINY=1 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |