diff options
| author | Jouk <joukj@tarantella.(none)> | 2007-06-08 13:38:24 +0200 |
|---|---|---|
| committer | Jouk <joukj@tarantella.(none)> | 2007-06-08 13:38:24 +0200 |
| commit | 55f8b7053065ce88296608071feed6f9540f6c0d (patch) | |
| tree | 86ac301ed5805c895985040caf56f857de017233 /configs/default | |
| parent | 518f9168862b2096278ae14a65c8c854c208e004 (diff) | |
| parent | 7b559a91028d297b34df9ec939bd4d00fad6027c (diff) | |
Merge branch 'master' of git+ssh://joukj@git.freedesktop.org/git/mesa/mesa
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/default b/configs/default index b6a051e2b3..a7de3f813d 100644 --- a/configs/default +++ b/configs/default @@ -9,7 +9,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=7 -MESA_MINOR=0 +MESA_MINOR=1 MESA_TINY=0 # external projects. This should be useless now that we use libdrm. |