Updating PPA

Ensure LUA_DEFAULT_PATH is set to what it needs to be (DEFINES += LUA_DEFAULT_PATH=\\\"/usr/share/games/mudlet/lua\\\")

2034  curl -O http://archive.ubuntu.com/ubuntu/pool/universe/m/mudlet/mudlet_3.0.0~rc7iota-1.dsc
2035  curl -O http://archive.ubuntu.com/ubuntu/pool/universe/m/mudlet/mudlet_3.0.0~rc7iota.orig.tar.xz
2036  curl -O http://archive.ubuntu.com/ubuntu/pool/universe/m/mudlet/mudlet_3.0.0~rc7iota-1.debian.tar.xz
2037  dpkg-source -x mudlet_3.0.0~rc7iota-1.dsc
2038  cd mudlet-3.0.0~rc7iota/
2039  uupdate ../mudlet_3.0.0.orig.tar.xz -v 3.0.0-1~ppa7
2040  cd ../mudlet-3.0.0-1~ppa7
2041  nano debian/patches/series 
2042  quilt push
2043  quilt refresh
2044  quilt push
2045  quilt refresh
2046  quilt push
2047  quilt refresh
2048  quilt push
2049  quilt refresh
2050  quilt push
2051  quilt pop -a
2052  quilt push -a
2053  quilt pop -a
2054  dch -e
2055  debuild -S -sa
2056  cd ..
2057  dput ppa:vperetokin/ppa mudlet_3.0.0-1~ppa7-0ubuntu1_source.changes 
2058  history