diff options
| author | Andreas Maunz <andreas@maunz.de> | 2012-04-02 09:18:14 +0200 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2012-04-02 09:18:14 +0200 |
| commit | 3cd136861c68b8c24cc653c903c620d55be4b294 (patch) | |
| tree | ab50372c9ed9cab413e72b62f219d23ca481e935 /java/resources/logP.mr.txt | |
| parent | cb67fe0e722a58b6fcf212ef045808dc9a13053a (diff) | |
Remove PC descriptor
Diffstat (limited to 'java/resources/logP.mr.txt')
| -rw-r--r-- | java/resources/logP.mr.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/java/resources/logP.mr.txt b/java/resources/logP.mr.txt deleted file mode 100644 index a55dfec..0000000 --- a/java/resources/logP.mr.txt +++ /dev/null @@ -1 +0,0 @@ -Oc1ccccc1OC 1.40(logP) 34.66(mr)
|