diff options
| -rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
| -rw-r--r-- | gpe-today/gpe-today_makefiles.patch (renamed from gpe-today/gpe-today_makefile.patch) | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index d708f19c2f..c9c112b50a 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -1,5 +1,6 @@ a0868066@lta0868066.ent.ti.com buildroot@mithis.com +chris@chrislaptop.(none) erich@erichl.mine.nu erich@erichv.mine.nu gbritton@doomcom.org diff --git a/gpe-today/gpe-today_makefile.patch b/gpe-today/gpe-today_makefiles.patch index e69de29bb2..e69de29bb2 100644 --- a/gpe-today/gpe-today_makefile.patch +++ b/gpe-today/gpe-today_makefiles.patch |