タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

diffとtoolに関するrikubaのブックマーク (1)

  • HTML Diff service

    W3C Editors homepage Create Diff between HTML pages Address of reference document: Address of new document: Tip: if the document uses the W3C convention on linking to its previous version, you can specify only the address of the new document — the previous link will be automatically detected. Diff markings This service relies on GNU diff. The found differences are roughly marked as follow: deleted

  • 1