[aur-requests] [PRQ#3820] Merge Request for texlipse

dsboger [1] filed a request to merge texlipse [2] into eclipse-texlipse [3]: Hellow, I'm following the "Eclipse plugin package guidelines" and renaming texlipse to eclipse-texlipse. I maintain both packages. thanks! Davi. [1] https://aur4.archlinux.org/account/dsboger/ [2] https://aur4.archlinux.org/pkgbase/texlipse/ [3] https://aur4.archlinux.org/pkgbase/eclipse-texlipse/