diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
commit | 878c5456c5a2f9bff741a7b7bcdccd5c1694db22 (patch) | |
tree | bcf3d101215fa70b953aa7e9d0de805c5f8865b4 /boot.backup1/ourmach.sdefs.d | |
parent | 9062642230b7bfb48e7b30f98cba8528172b2d36 (diff) | |
parent | c8f311a7a32d4b0cb0c21672f63bca8efdf5d83a (diff) |
Merge branch 'dde' into HEAD
Diffstat (limited to 'boot.backup1/ourmach.sdefs.d')
-rw-r--r-- | boot.backup1/ourmach.sdefs.d | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/boot.backup1/ourmach.sdefs.d b/boot.backup1/ourmach.sdefs.d deleted file mode 100644 index af32879c..00000000 --- a/boot.backup1/ourmach.sdefs.d +++ /dev/null @@ -1 +0,0 @@ -ourmachServer.c ourmach_S.h: ourmach.defs |