diff options
| author | Hugo Herbelin | 2014-10-17 15:40:49 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-17 15:40:49 +0200 |
| commit | 62b8190fd4b1c2223eb0a89329a28ca66d11a326 (patch) | |
| tree | bb1ada875c5a6c56c9a2f7270cb9876962a7a57d /kernel/nativecode.ml | |
| parent | c852523c11ca2d5edca6f35b12557e2d09dac1d6 (diff) | |
Revert "Essai où assert_style n'est utilisé que si pas visuellement une équation;" which was committed by mistake.
This reverts commit a53b44aa042cfded28c34205074f194de7e2e4ee.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions