diff options
| author | Brian Paul <[email protected]> | 2008-06-16 10:18:53 -0600 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2008-06-16 10:19:29 -0600 |
| commit | 6ce6dc961b3fcb8b687d79565adf793d81aac37d (patch) | |
| tree | a52d42d9e61e4ffc60187dbe82857e49c038dea5 /configs | |
| parent | 186883611edfd867f7ebafd06aa61ac575bec0f8 (diff) | |
bump version to 7.0.4
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 |