教えてくれてありがとうー。
参考にしたサイトにもそのスタイルでソースコードが書かれていたから、何か特別な記述法だとは思ったけど、patchっていうコマンドがあるとは知りませんでした。

ファイル名 element.rb.patch:
*** element.rb.orig Sun Nov 25 22:32:41 2007
— element.rb Sun Nov 25 22:33:20 2007
***************
*** 553,558 ****
— 553,559 —-
def attribute( name, namespace=nil )
prefix = nil
prefix = namespaces.index(namespace) if namespace
+ prefix = nil if prefix == ‘xmlns’
attributes.get_attribute( “#{prefix ? prefix + ‘:’ : ”}#{name}” )
end

このファイルを使って、element.rb がある場所で

> patch