diff options
Diffstat (limited to 'berlin-base/omniORB/files/.frozen')
| -rw-r--r-- | berlin-base/omniORB/files/.frozen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/berlin-base/omniORB/files/.frozen b/berlin-base/omniORB/files/.frozen new file mode 100644 index 000000000000..3c5228e36070 --- /dev/null +++ b/berlin-base/omniORB/files/.frozen @@ -0,0 +1 @@ +robbat2 |