diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Storage.hs.old (renamed from src/Storage.hs) | 0 | ||||
| -rw-r--r-- | src/preference_arrays.adb.old (renamed from src/preference_arrays.adb) | 0 | ||||
| -rw-r--r-- | src/preference_arrays.ads.old (renamed from src/preference_arrays.ads) | 0 | ||||
| -rw-r--r-- | src/testmain.hs.old (renamed from src/testmain.hs) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/src/Storage.hs b/src/Storage.hs.old index 2697c39..2697c39 100644 --- a/src/Storage.hs +++ b/src/Storage.hs.old diff --git a/src/preference_arrays.adb b/src/preference_arrays.adb.old index 0b1218a..0b1218a 100644 --- a/src/preference_arrays.adb +++ b/src/preference_arrays.adb.old diff --git a/src/preference_arrays.ads b/src/preference_arrays.ads.old index c8245e0..c8245e0 100644 --- a/src/preference_arrays.ads +++ b/src/preference_arrays.ads.old diff --git a/src/testmain.hs b/src/testmain.hs.old index 3f340c2..3f340c2 100644 --- a/src/testmain.hs +++ b/src/testmain.hs.old |