Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 96f415e0 authored by Cyril Rohr's avatar Cyril Rohr

No longer use the json/pure library, as it is buggy.

parent 5c8c7c14
......@@ -3,7 +3,7 @@
require 'pp'
require 'rubygems'
require 'fileutils'
require 'json/pure'
require 'json'
require 'yaml'
require 'time'
require 'optparse'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment