diff options
| author | Brian <brian.paul@tungstengraphics.com> | 2008-02-22 07:59:39 -0700 |
|---|---|---|
| committer | Brian <brian.paul@tungstengraphics.com> | 2008-02-22 07:59:39 -0700 |
| commit | ff63cf80689307923b3f7127e921e1e854f1b8dd (patch) | |
| tree | f2805755ffb3733aef8b8f5ce18a970748c44459 /configs | |
| parent | 4716670de9d6c396883d1d7df2831efdc5362bdd (diff) | |
bump libGL.so version number
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 549a182045..56604df548 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 MESA_MINOR=0 -MESA_TINY=2 +MESA_TINY=3 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |