🎉 Added OGRE 13.3.1

2022-02-23 15:05:42 +00:00
parent e5a748ea11
commit 7b48ea6621
7 changed files with 44 additions and 1 deletions
--- a/tools/diffo
+++ b/tools/diffo
@ -0,0 +1,4 @@
+#!/bin/bash
+set -eu
+
+diff -u $1.org $1 > $1.diff