Log In
rpms
/
community-mysql
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History community-mysql-man-pages.patch
Branch:
75032c40af22a636a23bf5dc7c0eff089e52cef7
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
main
private-8.0-COPR
private-latest-5.6
private-master-update-5-7-10
private-mysql-8.0
rawhide
75032c40af22a636a23bf5dc7c0eff089e52cef7
community-mysql-man-pages.patch
Update to 5.6.17
Bjorn Munch
• 10 years ago
5f2a76b
Rebuild -man-pages.patch to apply smoothly
Honza Horak
• 10 years ago
a49d466
Update to MySQL 5.6.15
Honza Horák
• 10 years ago
1d21d16
Re-created -man-pages.patch
Honza Horák
• 10 years ago
f477253
Remove external man pages, upstream fixed man pages license
Honza Horák
• 10 years ago
f3c10fc
Use man pages from 5.5.30, because their license do not allow us to ship them since 5.5.31
Honza Horák
• 10 years ago
d3b12fb
Added missing command-line options to man-pages (#948930)
Jan Staněk
• 10 years ago
8652d15