diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-27 18:00:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-27 18:00:06 +0000 |
| commit | 077f567c426a581c4439c9b2e3a0cc4d101e88ec (patch) | |
| tree | 0ac7c8e9a7ff1992b16a78a12bbbfcddc5650972 /src/ChangeLog | |
| parent | df58c8db0c065f238f901ecba89827cc87d8c6bf (diff) | |
| download | open-axiom-077f567c426a581c4439c9b2e3a0cc4d101e88ec.tar.gz | |
* interp/server.boot (serverLoop): Remove, as unused.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 4f0a367e..e47d57a1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2008-11-27 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/server.boot (serverLoop): Remove, as unused. + +2008-11-27 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nruncomp.boot (NRTgetAddForm): Remove, as unused. 2008-11-27 Gabriel Dos Reis <gdr@cs.tamu.edu> |