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