diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg01/paper.tex (renamed from source/wg01/wg01.tex) | 0 | ||||
| -rw-r--r-- | source/wg02/paper.tex (renamed from source/wg02/wg02.tex) | 0 | ||||
| -rw-r--r-- | source/wg03/paper.tex (renamed from source/wg03/wg03.tex) | 0 | ||||
| -rw-r--r-- | source/wg05/paper.tex (renamed from source/wg05/wg05.tex) | 0 | ||||
| -rw-r--r-- | source/wg05/tn001.05/paper.tex (renamed from source/wg05/tn/tn001.05.tex) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/paper.tex index 931e80b..931e80b 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/paper.tex diff --git a/source/wg02/wg02.tex b/source/wg02/paper.tex index 4f49ab5..4f49ab5 100644 --- a/source/wg02/wg02.tex +++ b/source/wg02/paper.tex diff --git a/source/wg03/wg03.tex b/source/wg03/paper.tex index 34ac08c..34ac08c 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/paper.tex diff --git a/source/wg05/wg05.tex b/source/wg05/paper.tex index da2fa29..da2fa29 100644 --- a/source/wg05/wg05.tex +++ b/source/wg05/paper.tex diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn001.05/paper.tex index 176f22a..176f22a 100644 --- a/source/wg05/tn/tn001.05.tex +++ b/source/wg05/tn001.05/paper.tex |