chiark / gitweb /
Merge pull request #531 from jcosmo/SteamEngine
authordaid <daid303@gmail.com>
Mon, 12 Aug 2013 14:25:15 +0000 (07:25 -0700)
committerdaid <daid303@gmail.com>
Mon, 12 Aug 2013 14:25:15 +0000 (07:25 -0700)
commit2164e7a0f0a597bff9752c92dd194afd68a76713
tree876e7233394a0d7ff31eca93c5829a008eba77ed
parentdae8f5e9813465a1a361ad1af6c4a6e661bf113b
parent2328b2bc97bf7adda99ef6c79be206936c548f67
Merge pull request #531 from jcosmo/SteamEngine

Minor patches to PauseAtZ plugin, for pauses at low heights