diff options
| author | Brice Goglin <[email protected]> | 2008-06-17 19:54:47 +0200 |
|---|---|---|
| committer | Brice Goglin <[email protected]> | 2008-06-17 19:54:47 +0200 |
| commit | 3d6aa2e06f91475c647ace09a065eec139d6c238 (patch) | |
| tree | 0cc5e3c679f4a68393cee9175f8a372b6e990165 /configs | |
| parent | 03970183fc9998bcdee9389830493a0b2dcda8d2 (diff) | |
| parent | 718724deeb23099ee74ee3a3dc23d2447d004f02 (diff) | |
Merge branch 'mesa_7_0_branch' of git://git.freedesktop.org/git/mesa/mesa into debian-unstable
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 eb2eb8b7e6b..1badafd3a60 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 MESA_MINOR=0 -MESA_TINY=3 +MESA_TINY=4 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |