diff options
| author | Brian Paul <[email protected]> | 2009-07-22 12:46:53 -0600 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2009-07-22 12:46:53 -0600 |
| commit | 9c4b877519f73f46eac35885d3b8801753168e14 (patch) | |
| tree | 5f854aeaefd900364caa47179c793b17a61e9caf /configs | |
| parent | b9e2e32daf5505896a662dc8df60104c0f51b4b9 (diff) | |
mesa: bump version to 7.5.1
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 b5ef80afb36..2981bb9a8fc 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 MESA_MINOR=5 -MESA_TINY=0 +MESA_TINY=1 MESA_VERSION = $(MESA_MAJOR).$(MESA_MINOR).$(MESA_TINY) # external projects. This should be useless now that we use libdrm. |