* src/warshall.c (TC, RTC): De-obsfucate (source reduced to 22% of

what it was!).
* src/warshall.h: Remove accidental duplication of the content.
This commit is contained in:
Akim Demaille
2001-12-05 09:23:10 +00:00
parent 0ea80316a9
commit aaf7be2c4b
3 changed files with 32 additions and 103 deletions

View File

@@ -1,3 +1,10 @@
2001-12-05 Akim Demaille <akim@epita.fr>
* src/warshall.c (TC, RTC): De-obsfucate (source reduced to 22% of
what it was!).
* src/warshall.h: Remove accidental duplication of the content.
2001-12-05 Akim Demaille <akim@epita.fr>
* src/closure.c (set_fderives): De-obfuscate.